Chapter I Logic and Proofs
|
|
- Dinah Boone
- 7 years ago
- Views:
Transcription
1 MATH Discrete Structures Chapter I Logic and Proofs Propositions A proposition is a statement that is either true (T) or false (F), but or both. s Propositions: 1. I am a man.. I am taller than 170 cm. 3. You are studying in Baptist U = 3. Not propositions: 1. How are you?. Go to catch the dog. 3. I like this colour. Negation of a Proposition Let p be a proposition. The statement It is not the case that p is another proposition, called the negation of p. The negation of p is denoted by p. p and read not P: It is a sunny day. p : It is not the case that it is a sunny day., or simply It is not a sunny day. Truth Table A truth table displays the relationships between the truth values of propositions. Truth tables are especially valuable in the determination of the truth values of propositions constructed from simpler propositions.
2 MATH 1130 Discrete Structures The truth table for the negation of a proposition p T F p F T Logic Operators (Connectives) Conjunction Let p and q be propositions. The proposition p and q, denoted by true when both p and q are true and is false otherwise. The proposition conjunction of p and q. p q, is the proposition that is p q is called the The truth table for the conjunction of p and q p q p q T T T T F F F T F F F F Disjunction Let p and q be propositions. The proposition p or q, denoted by false when p and q are both false and true otherwise. The proposition disjunction of p and q. p q, is the proposition that is p q is called the The truth table for the disjunction of p and q p q p q T T T T F T F T T F F F
3 MATH Discrete Structures Exclusive Or Let p and q be propositions. The exclusive or of p and q, denoted by true when exactly one of p and q is true and is false otherwise. p q, is the proposition that is The truth table for the exclusive or of p and q p q p q T T F T F T F T T F F F Conditional Propositions Implication Let p and q be propositions. The implication p q is the proposition that is false when p is true and q is false and true otherwise. In this implication, p is called the hypothesis and q is called the conclusion. The truth table for the implication p q p q p q T T T T F F F T T F F T Remarks: I) Equivalent expressions of implication 1. if p, then q. p is sufficient for q 3. p implies q 4. p only if q 5. q is necessary for p II) Related Implications 1. q p is called the converse of p q. q p is called the contrapositive of p q
4 MATH Discrete Structures Biconditional Let p and q be propositions. The biconditional p q is the proposition that is true when p and q have the same truth values and is false otherwise. In this biconditional, p is necessary and sufficient for q, or p if and only if q. The truth table for the biconditional p q p q p q T T T T F F F T F F F T Translating English Sentences He will not be charged (c) if he is handsome (h) or he is muscular (m). h m ( ) c h m h m c c T T T F F T T T T T T F T F T F F T T F T T T F F T T F F T F T T T T F F F F T F T F F F T T F Bit String A bit string is a sequence of zero or more bits. The length of a bit string is the number of bits in the string is a 10-bit string.
5 MATH Discrete Structures Bitwise OR, bitwise AND and bitwise XOR We define the bitwise OR, bitwise AND and bitwise XOR of two strings of the same length to be the strings that have as their bits the OR, AND and XOR of the corresponding bits in the two strings, respectively bitwise OR bitwise AND bitwise XOR Logical equivalence Tautology, Contradiction and Contingency A compound proposition that is always true, no matter what the truth values of the propositions that occur in it, is called a tautology. A compound proposition that is always false is called a contradiction. Finally, a proposition that is neither a tautology nor a contradiction is called a contingency. Truth table of examples of a tautology and a contradiction p p p p p p T F T F F T T F Logically Equivalent The propositions p and q are called logically equivalent if p q denotes that p and q are logically equivalent. p q is a tautology. The notation
6 MATH Discrete Structures The following truth table shows that the compound propositions ( p q) logically equivalent. p q q p ( p q) and p q are p q p q T T T F F F F T F T F F T F F T T F T F F F F F T T T T Exercise Complete the following truth table to show that p q and p q are logically equivalent. p q p p q p q T T T F F T F F Logical Equivalences Equivalence p T p p F p p T T p F F p p p p p p Name Identity laws Domination laws Idempotent laws ( p) p Double negative law p q q p p q q p ( p q) r p ( q r) ( p q) r p ( q r) p ( q r) ( p q) ( p r) p ( q r) ( p q) ( p r) ( p q) p q ( p q) p q Commutative laws Associative laws Distributive laws De Morgan s laws
7 MATH Discrete Structures p p T p p F p q p q Predicates and Quantifiers Predicates In statements involving variables, there are two parts the variable (is the subject of the statement) and predicate (refers to a property that the subject can have). In the statement: x > 3 (x is greater than 3) x is the variable and is greater than 3 is the predicate. Let P ( x) denote the statement x > 3. The value of P ( 4) is true and the value of ( ) P is false. Universe of Discourse Many mathematical statements assert that a property is true for all values of a variable in a particular domain, called the universe of discourse. Universal Quantification and Universal Quantifier The universal quantification of P ( x) is the proposition: ( x) universe of discourse, and is denoted by x P ( x) for all (every) x P ( x) the universal quantifier. P is true for all values of x in the. Here, is called Existential Quantification and Existential Quantifier The existential quantification of P ( x) is the proposition: There exists an element x in the universe of discourse such that P ( x) is true, and is denoted by x P ( x) for some x P ( x). Here, is called existential quantifier. Statement When True? When False? x P ( x) ( x) P is true for every x. There is an x for which ( x) x P ( x) There is an x for which P ( x) is true. P ( x) is false for every x. P is false.
8 MATH Discrete Structures s Translating logical statements into English I) x ( C ( x) y( C( y) F( x, y) )) where C ( x) is x has a computer, ( x y) F, is x and y are friends, and the universe of discourse for both x and y is the set of all students in this class. Every student in your school has a computer or has a friend who has a computer. II) x y z( (( F( x, y) F( x, z) ( y z) ) F( y, z) )) where ( a b) F, means a and b are friends and the universe of discourse for x, y and z is the set of all students in your school. There is a student none of whose friends are also friends with each other. Translating sentences into logical expressions III) Some student in this class has visited Mexico. Let M ( x) be the statement x has visited Mexico. xm ( x), the universe of discourse for x is the set of all the students in this class. IV) Every student in this class has visited either Canada or Mexico. Let M ( x) be the statement x has visited Mexico and ( x) Canada. x C x M ( ( ) ( x) ) C be the statement x has visited, the universe of discourse for x is the set of all the students in this class. V) If somebody is female and is a parent, then this person is someone s mother Let F ( x) be the statement x is female, P ( x) be the statement x is a parent, and M ( x, y) be the statement x is the mother of y. x F x P x ym x, y, the universe of discourse for x and y is the set of all people. (( ( ) ( )) ( ))
9 MATH Discrete Structures VI) f ( x) = L lim (For every real number ε > 0, there exists a real number δ > 0 such that x a ( x) L < ε f whenever 0 < x a < δ. ( < x a < δ f ( x) L ε ) ε δ x 0 <, the universe of discourse for ε and δ is the set of positive real numbers, and that of x is the set of real numbers, and a is a real constant. Negations The negation of a universal quantification is an existential quantification. ( x) x P( x) xp The negation of an existential quantification is a universal quantification. ( x) x Q( x) xq Method of Proofs Theorems A theorem is a statement that can be shown to be true. Proofs We demonstrate that a theorem is true with a sequence of statements that form an argument, called a proof. Axioms and Postulates Statements used in a proof include axioms and postulates, which are the underlying assumptions about mathematical structures, the hypotheses of the theorem to be proved, and previously proved theorems. Lemmas A lemma is a simple theorem used in the proof of other theorems. Corollaries A corollary is a proposition that can be established directly from a theorem that has been proved. Conjectures A conjecture is a statement whose truth value is unknown.
10 MATH Discrete Structures Remark: When a proof of a conjecture is found, the conjecture becomes a theorem. Many times conjectures are shown to be false, so they are not theorems. Rules of inference The rules of inference, which are the means used to draw conclusions from other assertions, tie together the steps of a proof. Rule of Inference Tautology Name p p q p ( p q) Addition p q p p q p q p p q q q p q p Simplification (( p) ( q) ) ( p q) ( p ( p q) ) q p q p p q q r p r p q p q Conjunction Modus ponens ( q ( p q) ) p Modus tollens (( p q) ( q r) ) ( p r) (( p q) p) q Hypothetical syllogism Disjunctive syllogism
11 MATH Discrete Structures s I) Show that the hypotheses It is not sunny this afternoon and it is colder than yesterday, We will go swimming only if it is sunny, If we do not go swimming, then we will take a canoe trip, and If we take a canoe trip, then we will be home by sunset lead to the conclusion We will be home by sunset. Let p: It is sunny this afternoon q: It is colder than yesterday r: We will go swimming s: We will take a canoe trip t: We will be home by sunset Hypotheses It is not sunny this afternoon and it is colder than yesterday We will go swimming only if it is sunny If we do not go swimming, then we will take a canoe trip If we take a canoe trip, then we will be home by sunset p q r p r s s t Conclusion We will be home by sunset t Step Reason 1. p q Hypothesis. p Simplification using Step 1 3. r p Hypothesis 4. r Modus tollens using Steps and 3 5. r s Hypothesis 6. s Modus ponens using Steps 4 and 5 7. s t Hypothesis 8. t Modus ponens using Steps 6 and 7
12 MATH Discrete Structures II) Show that the hypotheses If you send me an message, then I will finish writing the program, If you do not send me an message, then I will go to sleep early, and If I go to sleep early, then I will wake up feeling refreshed lead to the conclusion If I do not finish writing the program, then I will wake up feeling refreshed. Let p: You send me an message q: I will finish writing the program r: I will go to sleep early s: I will wake up feeling refreshed Hypotheses If you send me an message, then I will finish writing the program If you do not send me an message, then I will go to sleep early If I go to sleep early, then I will wake up feeling refreshed p q p r s r Conclusion If I do not finish writing the program, then I will wake up feeling refreshed q s Step Reason 1. p q Hypothesis. q p Contrapositive of Step 1 3. p r Hypothesis 4. q r Hypothetical syllogism using Steps and 3 5. r s Hypothesis 6. q s Hypothetical syllogism using Steps 4 and 5 Fallacies Some common forms of incorrect reasoning are called fallacies. I) Fallacy of affirming the conclusion (( p q) q) p (( F T) T) F is False
13 MATH Discrete Structures p: it is an apple q: it is red. It is red but it may not be an apple. II) Fallacy of denying the hypothesis (( p q) p) q (( F T) T) F is False p: it is an apple q: it is red. It is not an apple but it may be red. III) Circular reasoning ( p p) p ( F F) F is False p: it is an apple If it is an apple, then it is an apple is always true, even though it is not an apple. Rules of Inference for quantified statements U is the universal of discourse Rule of Inference P P xp( x) P() c if c U () c for an arbitrary c U xp( x) xp( x) P() c for some element c U () c for some element c U xp( x) Name Universal instantiation Universal generalization Existential instantiation Existential generalization
14 MATH Discrete Structures Methods of Proving Theorems Direct Proof A proof that the implication true. p q is true that proceeds by showing that q must be true when p is Show that if n is odd, then n is odd. Suppose n is odd. I.e. = k + 1 is an odd number. n for some integer k. = ( k + 1) = 4k + 4k + 1 = 4k( k + 1) + 1 n, Indirect Proof A proof that the implication false. p q is true that proceeds by showing that p must be false when q is Show that if n is odd, then n is odd. Suppose n is even. I.e. n k = for some integer k. ( ) n = k = 4k, is an even number. Vacuous Proof A proof that the implication p q is the based on the fact that p is false. Show that if 3 > 5, then 5 > 9. Since 3 > 5 is false, the statement if 3 > 5, then 5 > 9 is true.
15 MATH Discrete Structures Trivial Proof A proof that the implication p q is true based on the fact that q is true. Show that if 5 > 3, then 9 > 5. Since 9 > 5 is always true, the statement if 5 > 3, then 9 > 5 is true. Proof by Contradiction A proof that a proposition p is true based on the truth of the implication contradiction p q where q is a Show that the sum of m + 1 and n 1 is even. Assume the sum of m + 1 and 1 contradiction. n is odd. ( m + n), a multiple of, is odd. This is a Proof by Cases A proof of an implication where the hypothesis is a disjunction of propositions that shows that each hypothesis separately implies the conclusion Show that if n > 3 or n <, then n n 6 > 0. Case 1 Suppose n > 3. n n 6 = ( n 3)( n + ) > ( 3 3)( 3 + ) = 0. Case Suppose n <. n > 4. n n 6 > 4 ( ) 6 = 0. Therefore, if n > 3 or n <, then n n 6 > 0. Existence Proofs A proof of a proposition of the form xp( x) is called an existence proof. Constructive Existence Proofs An existence proof of xp( x) given by finding an element a such that ( a) constructive existence proof. P is true is called a
16 MATH Discrete Structures Show that there exists an irrational number between any two rational numbers. Let α and β be two rational numbers. With loss of generality, we may assume α < β. Let β α 1 ε ε = β α. Clearly, ε is also a rational number and = 1 > > 0 α < + α < β. ε Nonconstructive Existence Proofs An existence proof of xp( x) given by not finding an element a such that ( a) nonconstructive existence proof. P is true is called a Show that for every positive integer n there is a prime greater than n. Let n be a positive integer. To show there is a prime greater than n, we may consider the integer n!+1. One possibility is that n!+ 1 is already prime. Otherwise, n!+ 1 is divisible by a prime number. Clearly, n!+ 1 is not divisible by any number less than or equal to n. Thus, the prime factor of n!+ 1 is greater than n. Counterexample Suppose a statement of the form xp( x) is false. We find an element a such that ( a) I.e. x P( x) is true. The element a for which P ( a) is false is called a counterexample. P is false. Show that 3 n + 1 is odd for all integers n is false. For n = 3, 3 () = 10 is even. Therefore, 3 n + 1 is odd for all integers n is false.
17 MATH Discrete Structures Mathematical Induction To use prove that a statement is true for all natural numbers n by mathematical induction, we have the following three steps: 1. To prove the statement is true for the first (few) case(s).. To assume the statement is true for n k for some k. 3. With the induction hypothesis in step, to prove the statement is true for n = k + 1. I) Euler s Formula If G is a connected plane graph, then v + f = ε + where v, f and e are the numbers of vertices, faces and edges of G respectively. The formula can be shown by induction on the number of faces of G. If f = 1, then edge of G is a cut edge (a bridge) of G and so G is a tree. In this case, v = ε + 1, and so the theorem holds. We may suppose that the theorem holds for all connected plane graphs with f k, and consider a connected plane graph G having k + 1 faces. Since G has more than one face, there should be an edge e in G that is separating two faces. By taking away e from G, we may obtain ( G e) v( G), f ( G e) = f ( G) 1 and ε ( G e) = ε ( G) 1. Then v( G e) + f ( G e) = ε ( G e) +, and so ( G) + f ( G) = ( G) + v = v ε. G e with IIa) Four Colour Theorem Any map can be coloured using no more than 4 colours. Remark: Any map can be represented by a simple connected plane graph.
18 MATH Discrete Structures IIb) Five Colour Theorem This theorem can be proved by induction on the number of vertices of G. If v 5, the theorem holds. Suppose the theorem holds for all graphs of v k and consider a graph G of k + 1 vertices. From Euler s formula, we may deduce that the minimum degree of G (any plane graph), δ ( G), is less than or equal to 5. Choose a vertex u in G of the minimum degree. In the case d ( u) 4, G u is a graph of k vertices. By the induction hypothesis, G u can be coloured with five colours, and so we may add u back and put on u a colour which is not on the adjacent vertices of u. In the case d ( u) = 5, there should be two adjacent vertices, s and t, of u which are not adjacent. It is because the 5-complete graph is not planar. Then we may merge s and t to form G u s, t of k 1 vertices. Clearly, G u s, t is 5-colourable by the induction hypothesis, and the any colourings on G u s, t are also valid on G u with s and t of the same colour. Thus, on any colourings of G u, there are at most four colours on the adjacent vertices of u in G. Then we may put on u the a colour other than those on its adjacent vertices.
def: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.
Section 1.5 Methods of Proof 1.5.1 1.5 METHODS OF PROOF Some forms of argument ( valid ) never lead from correct statements to an incorrect. Some other forms of argument ( fallacies ) can lead from true
More informationCHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
More informationRules of Inference Friday, January 18, 2013 Chittu Tripathy Lecture 05
Rules of Inference Today s Menu Rules of Inference Quantifiers: Universal and Existential Nesting of Quantifiers Applications Old Example Re-Revisited Our Old Example: Suppose we have: All human beings
More information3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)
More informationHandout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationMath 3000 Section 003 Intro to Abstract Math Homework 2
Math 3000 Section 003 Intro to Abstract Math Homework 2 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Solutions (February 13, 2012) Please note that these
More informationLecture Notes in Discrete Mathematics. Marcel B. Finan Arkansas Tech University c All Rights Reserved
Lecture Notes in Discrete Mathematics Marcel B. Finan Arkansas Tech University c All Rights Reserved 2 Preface This book is designed for a one semester course in discrete mathematics for sophomore or junior
More informationPropositional Logic. A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both.
irst Order Logic Propositional Logic A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both. Are the following sentences propositions? oronto
More informationLikewise, we have contradictions: formulas that can only be false, e.g. (p p).
CHAPTER 4. STATEMENT LOGIC 59 The rightmost column of this truth table contains instances of T and instances of F. Notice that there are no degrees of contingency. If both values are possible, the formula
More informationDiscrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us
More informationExamination paper for MA0301 Elementær diskret matematikk
Department of Mathematical Sciences Examination paper for MA0301 Elementær diskret matematikk Academic contact during examination: Iris Marjan Smit a, Sverre Olaf Smalø b Phone: a 9285 0781, b 7359 1750
More informationDISCRETE MATH: LECTURE 3
DISCRETE MATH: LECTURE 3 DR. DANIEL FREEMAN 1. Chapter 2.2 Conditional Statements If p and q are statement variables, the conditional of q by p is If p then q or p implies q and is denoted p q. It is false
More informationPredicate Logic. Example: All men are mortal. Socrates is a man. Socrates is mortal.
Predicate Logic Example: All men are mortal. Socrates is a man. Socrates is mortal. Note: We need logic laws that work for statements involving quantities like some and all. In English, the predicate is
More informationElementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.
Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole
More informationCHAPTER 2. Logic. 1. Logic Definitions. Notation: Variables are used to represent propositions. The most common variables used are p, q, and r.
CHAPTER 2 Logic 1. Logic Definitions 1.1. Propositions. Definition 1.1.1. A proposition is a declarative sentence that is either true (denoted either T or 1) or false (denoted either F or 0). Notation:
More informationMathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson
Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement
More informationWOLLONGONG COLLEGE AUSTRALIA. Diploma in Information Technology
First Name: Family Name: Student Number: Class/Tutorial: WOLLONGONG COLLEGE AUSTRALIA A College of the University of Wollongong Diploma in Information Technology Mid-Session Test Summer Session 008-00
More informationWOLLONGONG COLLEGE AUSTRALIA. Diploma in Information Technology
First Name: Family Name: Student Number: Class/Tutorial: WOLLONGONG COLLEGE AUSTRALIA A College of the University of Wollongong Diploma in Information Technology Final Examination Spring Session 2008 WUCT121
More informationThe last three chapters introduced three major proof techniques: direct,
CHAPTER 7 Proving Non-Conditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements
More informationPredicate Logic. For example, consider the following argument:
Predicate Logic The analysis of compound statements covers key aspects of human reasoning but does not capture many important, and common, instances of reasoning that are also logically valid. For example,
More informationMathematical Induction. Lecture 10-11
Mathematical Induction Lecture 10-11 Menu Mathematical Induction Strong Induction Recursive Definitions Structural Induction Climbing an Infinite Ladder Suppose we have an infinite ladder: 1. We can reach
More informationCSL105: Discrete Mathematical Structures. Ragesh Jaiswal, CSE, IIT Delhi
Propositional Logic: logical operators Negation ( ) Conjunction ( ) Disjunction ( ). Exclusive or ( ) Conditional statement ( ) Bi-conditional statement ( ): Let p and q be propositions. The biconditional
More informationWRITING PROOFS. Christopher Heil Georgia Institute of Technology
WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this
More informationPredicate logic Proofs Artificial intelligence. Predicate logic. SET07106 Mathematics for Software Engineering
Predicate logic SET07106 Mathematics for Software Engineering School of Computing Edinburgh Napier University Module Leader: Uta Priss 2010 Copyright Edinburgh Napier University Predicate logic Slide 1/24
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationBasic Proof Techniques
Basic Proof Techniques David Ferry dsf43@truman.edu September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This document
More informationCycles in a Graph Whose Lengths Differ by One or Two
Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDE-BERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS
More informationConnectivity and cuts
Math 104, Graph Theory February 19, 2013 Measure of connectivity How connected are each of these graphs? > increasing connectivity > I G 1 is a tree, so it is a connected graph w/minimum # of edges. Every
More informationMATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.
MATHEMATICAL INDUCTION MIGUEL A LERMA (Last updated: February 8, 003) Mathematical Induction This is a powerful method to prove properties of positive integers Principle of Mathematical Induction Let P
More informationSECTION 10-2 Mathematical Induction
73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms
More information136 CHAPTER 4. INDUCTION, GRAPHS AND TREES
136 TER 4. INDUCTION, GRHS ND TREES 4.3 Graphs In this chapter we introduce a fundamental structural idea of discrete mathematics, that of a graph. Many situations in the applications of discrete mathematics
More informationIncenter Circumcenter
TRIANGLE: Centers: Incenter Incenter is the center of the inscribed circle (incircle) of the triangle, it is the point of intersection of the angle bisectors of the triangle. The radius of incircle is
More informationSolutions for Practice problems on proofs
Solutions for Practice problems on proofs Definition: (even) An integer n Z is even if and only if n = 2m for some number m Z. Definition: (odd) An integer n Z is odd if and only if n = 2m + 1 for some
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationMath 55: Discrete Mathematics
Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 5, due Wednesday, February 22 5.1.4 Let P (n) be the statement that 1 3 + 2 3 + + n 3 = (n(n + 1)/2) 2 for the positive integer n. a) What
More informationMathematical Induction
Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How
More informationVocabulary. Term Page Definition Clarifying Example. biconditional statement. conclusion. conditional statement. conjecture.
CHAPTER Vocabulary The table contains important vocabulary terms from Chapter. As you work through the chapter, fill in the page number, definition, and a clarifying example. biconditional statement conclusion
More informationCS 103X: Discrete Structures Homework Assignment 3 Solutions
CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering
More informationThe Mathematics of GIS. Wolfgang Kainz
The Mathematics of GIS Wolfgang Kainz Wolfgang Kainz Department of Geography and Regional Research University of Vienna Universitätsstraße 7, A-00 Vienna, Austria E-Mail: wolfgang.kainz@univie.ac.at Version.
More informationOdd induced subgraphs in graphs of maximum degree three
Odd induced subgraphs in graphs of maximum degree three David M. Berman, Hong Wang, and Larry Wargo Department of Mathematics University of New Orleans New Orleans, Louisiana, USA 70148 Abstract A long-standing
More information6.080/6.089 GITCS Feb 12, 2008. Lecture 3
6.8/6.89 GITCS Feb 2, 28 Lecturer: Scott Aaronson Lecture 3 Scribe: Adam Rogal Administrivia. Scribe notes The purpose of scribe notes is to transcribe our lectures. Although I have formal notes of my
More informationINCIDENCE-BETWEENNESS GEOMETRY
INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationAn Innocent Investigation
An Innocent Investigation D. Joyce, Clark University January 2006 The beginning. Have you ever wondered why every number is either even or odd? I don t mean to ask if you ever wondered whether every number
More informationSHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH
31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,
More information(LMCS, p. 317) V.1. First Order Logic. This is the most powerful, most expressive logic that we will examine.
(LMCS, p. 317) V.1 First Order Logic This is the most powerful, most expressive logic that we will examine. Our version of first-order logic will use the following symbols: variables connectives (,,,,
More informationSample Induction Proofs
Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Sample Induction Proofs Below are model solutions to some of the practice problems on the induction worksheets. The solutions given
More informationMATH10040 Chapter 2: Prime and relatively prime numbers
MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive
More informationHomework until Test #2
MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such
More informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,
More informationMathematical Induction. Mary Barnes Sue Gordon
Mathematics Learning Centre Mathematical Induction Mary Barnes Sue Gordon c 1987 University of Sydney Contents 1 Mathematical Induction 1 1.1 Why do we need proof by induction?.... 1 1. What is proof by
More informationAn inequality for the group chromatic number of a graph
An inequality for the group chromatic number of a graph Hong-Jian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics
More informationMidterm Practice Problems
6.042/8.062J Mathematics for Computer Science October 2, 200 Tom Leighton, Marten van Dijk, and Brooke Cowan Midterm Practice Problems Problem. [0 points] In problem set you showed that the nand operator
More informationCorrespondence analysis for strong three-valued logic
Correspondence analysis for strong three-valued logic A. Tamminga abstract. I apply Kooi and Tamminga s (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K 3 ).
More informationLecture 16 : Relations and Functions DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/29/2011 Lecture 16 : Relations and Functions Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT In Lecture 3, we described a correspondence
More informationChapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing
More informationLecture 17 : Equivalence and Order Relations DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/31/2011 Lecture 17 : Equivalence and Order Relations Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last lecture we introduced the notion
More informationAll trees contain a large induced subgraph having all degrees 1 (mod k)
All trees contain a large induced subgraph having all degrees 1 (mod k) David M. Berman, A.J. Radcliffe, A.D. Scott, Hong Wang, and Larry Wargo *Department of Mathematics University of New Orleans New
More informationBeyond Propositional Logic Lukasiewicz s System
Beyond Propositional Logic Lukasiewicz s System Consider the following set of truth tables: 1 0 0 1 # # 1 0 # 1 1 0 # 0 0 0 0 # # 0 # 1 0 # 1 1 1 1 0 1 0 # # 1 # # 1 0 # 1 1 0 # 0 1 1 1 # 1 # 1 Brandon
More informationIndiana State Core Curriculum Standards updated 2009 Algebra I
Indiana State Core Curriculum Standards updated 2009 Algebra I Strand Description Boardworks High School Algebra presentations Operations With Real Numbers Linear Equations and A1.1 Students simplify and
More informationDiscrete Mathematics Problems
Discrete Mathematics Problems William F. Klostermeyer School of Computing University of North Florida Jacksonville, FL 32224 E-mail: wkloster@unf.edu Contents 0 Preface 3 1 Logic 5 1.1 Basics...............................
More informationSCORE SETS IN ORIENTED GRAPHS
Applicable Analysis and Discrete Mathematics, 2 (2008), 107 113. Available electronically at http://pefmath.etf.bg.ac.yu SCORE SETS IN ORIENTED GRAPHS S. Pirzada, T. A. Naikoo The score of a vertex v in
More informationChapter 1. Use the following to answer questions 1-5: In the questions below determine whether the proposition is TRUE or FALSE
Use the following to answer questions 1-5: Chapter 1 In the questions below determine whether the proposition is TRUE or FALSE 1. 1 + 1 = 3 if and only if 2 + 2 = 3. 2. If it is raining, then it is raining.
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationFull and Complete Binary Trees
Full and Complete Binary Trees Binary Tree Theorems 1 Here are two important types of binary trees. Note that the definitions, while similar, are logically independent. Definition: a binary tree T is full
More informationEvery tree contains a large induced subgraph with all degrees odd
Every tree contains a large induced subgraph with all degrees odd A.J. Radcliffe Carnegie Mellon University, Pittsburgh, PA A.D. Scott Department of Pure Mathematics and Mathematical Statistics University
More information6.3 Conditional Probability and Independence
222 CHAPTER 6. PROBABILITY 6.3 Conditional Probability and Independence Conditional Probability Two cubical dice each have a triangle painted on one side, a circle painted on two sides and a square painted
More informationLogic in Computer Science: Logic Gates
Logic in Computer Science: Logic Gates Lila Kari The University of Western Ontario Logic in Computer Science: Logic Gates CS2209, Applied Logic for Computer Science 1 / 49 Logic and bit operations Computers
More informationGraphs without proper subgraphs of minimum degree 3 and short cycles
Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract
More informationSolutions Q1, Q3, Q4.(a), Q5, Q6 to INTLOGS16 Test 1
Solutions Q1, Q3, Q4.(a), Q5, Q6 to INTLOGS16 Test 1 Prof S Bringsjord 0317161200NY Contents I Problems 1 II Solutions 3 Solution to Q1 3 Solutions to Q3 4 Solutions to Q4.(a) (i) 4 Solution to Q4.(a)........................................
More information3. Logical Reasoning in Mathematics
3. Logical Reasoning in Mathematics Many state standards emphasize the importance of reasoning. We agree disciplined mathematical reasoning is crucial to understanding and to properly using mathematics.
More informationMathematics Georgia Performance Standards
Mathematics Georgia Performance Standards K-12 Mathematics Introduction The Georgia Mathematics Curriculum focuses on actively engaging the students in the development of mathematical understanding by
More informationComputing exponents modulo a number: Repeated squaring
Computing exponents modulo a number: Repeated squaring How do you compute (1415) 13 mod 2537 = 2182 using just a calculator? Or how do you check that 2 340 mod 341 = 1? You can do this using the method
More informationCHAPTER 7 GENERAL PROOF SYSTEMS
CHAPTER 7 GENERAL PROOF SYSTEMS 1 Introduction Proof systems are built to prove statements. They can be thought as an inference machine with special statements, called provable statements, or sometimes
More informationLAKE ELSINORE UNIFIED SCHOOL DISTRICT
LAKE ELSINORE UNIFIED SCHOOL DISTRICT Title: PLATO Algebra 1-Semester 2 Grade Level: 10-12 Department: Mathematics Credit: 5 Prerequisite: Letter grade of F and/or N/C in Algebra 1, Semester 2 Course Description:
More informationReasoning and Proof Review Questions
www.ck12.org 1 Reasoning and Proof Review Questions Inductive Reasoning from Patterns 1. What is the next term in the pattern: 1, 4, 9, 16, 25, 36, 49...? (a) 81 (b) 64 (c) 121 (d) 56 2. What is the next
More informationLogic Appendix. Section 1 Truth Tables CONJUNCTION EXAMPLE 1
Logic Appendix T F F T Section 1 Truth Tables Recall that a statement is a group of words or symbols that can be classified collectively as true or false. The claim 5 7 12 is a true statement, whereas
More informationThis chapter is all about cardinality of sets. At first this looks like a
CHAPTER Cardinality of Sets This chapter is all about cardinality of sets At first this looks like a very simple concept To find the cardinality of a set, just count its elements If A = { a, b, c, d },
More informationAn inequality for the group chromatic number of a graph
Discrete Mathematics 307 (2007) 3076 3080 www.elsevier.com/locate/disc Note An inequality for the group chromatic number of a graph Hong-Jian Lai a, Xiangwen Li b,,1, Gexin Yu c a Department of Mathematics,
More informationCS510 Software Engineering
CS510 Software Engineering Propositional Logic Asst. Prof. Mathias Payer Department of Computer Science Purdue University TA: Scott A. Carr Slides inspired by Xiangyu Zhang http://nebelwelt.net/teaching/15-cs510-se
More informationDedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes)
Dedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes) by Jim Propp (UMass Lowell) March 14, 2010 1 / 29 Completeness Three common
More informationAnswer Key for California State Standards: Algebra I
Algebra I: Symbolic reasoning and calculations with symbols are central in algebra. Through the study of algebra, a student develops an understanding of the symbolic language of mathematics and the sciences.
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationMATH 289 PROBLEM SET 4: NUMBER THEORY
MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides
More informationPredicate Logic Review
Predicate Logic Review UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Grammar A term is an individual constant or a variable. An individual constant is a lowercase letter from the beginning
More informationMath 319 Problem Set #3 Solution 21 February 2002
Math 319 Problem Set #3 Solution 21 February 2002 1. ( 2.1, problem 15) Find integers a 1, a 2, a 3, a 4, a 5 such that every integer x satisfies at least one of the congruences x a 1 (mod 2), x a 2 (mod
More informationSolutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014
Solutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014 3.4: 1. If m is any integer, then m(m + 1) = m 2 + m is the product of m and its successor. That it to say, m 2 + m is the
More informationIntroduction to Graph Theory
Introduction to Graph Theory Allen Dickson October 2006 1 The Königsberg Bridge Problem The city of Königsberg was located on the Pregel river in Prussia. The river divided the city into four separate
More informationIntroduction. Appendix D Mathematical Induction D1
Appendix D Mathematical Induction D D Mathematical Induction Use mathematical induction to prove a formula. Find a sum of powers of integers. Find a formula for a finite sum. Use finite differences to
More informationGraph Theory Problems and Solutions
raph Theory Problems and Solutions Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles November, 005 Problems. Prove that the sum of the degrees of the vertices of any finite graph is
More informationInvalidity in Predicate Logic
Invalidity in Predicate Logic So far we ve got a method for establishing that a predicate logic argument is valid: do a derivation. But we ve got no method for establishing invalidity. In propositional
More informationMathematics Review for MS Finance Students
Mathematics Review for MS Finance Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,
More informationPage 331, 38.4 Suppose a is a positive integer and p is a prime. Prove that p a if and only if the prime factorization of a contains p.
Page 331, 38.2 Assignment #11 Solutions Factor the following positive integers into primes. a. 25 = 5 2. b. 4200 = 2 3 3 5 2 7. c. 10 10 = 2 10 5 10. d. 19 = 19. e. 1 = 1. Page 331, 38.4 Suppose a is a
More informationa 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given
More informationCONTRIBUTIONS TO ZERO SUM PROBLEMS
CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg
More informationConjunction is true when both parts of the statement are true. (p is true, q is true. p^q is true)
Mathematical Sentence - a sentence that states a fact or complete idea Open sentence contains a variable Closed sentence can be judged either true or false Truth value true/false Negation not (~) * Statement
More informationDEGREES OF CATEGORICITY AND THE HYPERARITHMETIC HIERARCHY
DEGREES OF CATEGORICITY AND THE HYPERARITHMETIC HIERARCHY BARBARA F. CSIMA, JOHANNA N. Y. FRANKLIN, AND RICHARD A. SHORE Abstract. We study arithmetic and hyperarithmetic degrees of categoricity. We extend
More informationLogic and Reasoning Practice Final Exam Spring 2015. Section Number
Logic and Reasoning Practice Final Exam Spring 2015 Name Section Number The final examination is worth 100 points. 1. (5 points) What is an argument? Explain what is meant when one says that logic is the
More informationSUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by
SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples
More information