Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

Size: px
Start display at page:

Download "Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics"

Transcription

1 CSC 224/226 Notes Packet #2: Set Theory & Predicate Calculus Barnes Packet #2: Set Theory & Predicate Calculus Applied Discrete Mathematics Table of Contents Full Adder Information Page 1 Predicate Calculus Information Pages 2-9 First Hour Exam Study Sheet Page 10 Some First Hour Exam review material Pages Set Theory Information Pages Arithmetic Proofs Information Page 27

2 CSC 224/226 Notes Packet #2: Set Theory & Predicate Calculus Barnes Design of Full Adder A full binary adder has 3 inputs and 2 outputs 1. bit A (X) 2. bit B (Y) 3. carry in (C) 1. bit out (S) 2. carry to next digit (C out ) Start by making truth table assuming all inputs and specifying all outputs. Inputs Outputs X Y C S C out then write "and" condition for all "1" outputs then "or" all "and" conditions. S = X'Y'C + X'YC' + XY'C' + XYC C out = X'YC + XY'C + XYC' + XYC then simplify. 1

3 Predicate Calculus Outline I. Predicates - binding of variables to form propositions. II. General Quantifiers A. - Universal - means "for all" B. - Existential - means "there exists" C. Combinations of two variables using quantifiers D. Distribution of negation using De Morgan's rules III. Compound propositions of a single variable and proving set theory problems (next topic that will be covered) 2

4 Predicate - function which becomes a proposition when the variables are assigned values from an appropriate Universe of Discourse (U). QUANTIFIERS P(x): x 2 > x (not a proposition) But these are: - For all x in R, x 2 > x - For some x in R, x 2 > x - There exists x in R for which x 2 > x Predicates 1. P(x): x 2 > x P(x) is not a proposition Choose value for x from R. P(5): 5 2 > 5 pin variable at 5 P(5) is a proposition 2. P(x): x x = x P(x) is not a proposition Choose value for x from P({0,1}). P(0): 0 0 = 0 pin variable at 0 P(0) is a proposition 3. Q(x,y): (x < y) (x 2 < y 2 ) Q(x,y) is not a proposition Choose x,y from R. Q(-3,2): (-3 < 2) ((-3) 2 < 2 2 ) Q(-3,2) is a proposition From predicates (P(x), Q(x)) one can form compound predicates: P(x) (P(x) Q(x)) (P(x) Q(x)) (P(x) Q(x)) (P(x) Q(x)) x P(x) x Q(x) Example: [ x (P(x) Q(x)) ( x P(x) x Q(x))] 3

5 Propositional Logic Equivalences and Implications Still Hold Example: ( x P(x) x Q(x)) ( ( x P(x)) x Q(x)) (implication equivalence) Example: x (P(x) Q(x)) x P(x) x Q(x) (modus ponens implication) Also Have New Relationships: De Morgan's Rules in Predicate Calculus ( x P(x)) x ( P(x)) ( x P(x)) P(x) P(x) x ( P(x)) 1 at least one 1 (at least 1 P(x) false one true) 0 all P(x) true 1 (all false) 0 ( x P(x)) x ( P(x)) P(x) ( x P(x)) x ( P(x)) P(x) all false (all true) at least (at least one true one false) 4

6 Predicate Calculus Truth Table Example 1: x P(x) x Q(x) x [P(x) Q(x)] We have two propositions on the left side which form the compound proposition [ x P(x) x Q(x)]. We must consider all combinations of the truth values: x P(x) x Q(x) x P(x) x Q(x) x [P(x) Q(x)] Row Row Row Row 4 Row 1: x P(x) = 0 P(x) has at least one 0 (false for some value of x) x Q(x) = 0 Q(x) has at least one 0 Therefore, P(x) Q(x) has at least one 0 Therefore, x(p(x) Q(x)) = 0 Row 2: x P(x) = 0 P(x) has at least one 0 x Q(x) = 1 Q(x) = 1 for all x P(x) Q(x) = 0 since P(x) = 0 for some x Therefore, x(p(x) Q(x)) = 0 Row 3: x P(x) = 1 x Q(x) = 0 Work same way and show Case 3 = 0 Row 4: x P(x) = 1 x Q(x) = 1 Work same way and show Case 4 = 1 x P(x) x Q(x) x [P(x) Q(x)] is the same on both sides of the truth table and therefore the statement is true. 5

7 Predicate Calculus Conversion Example: We can prove that: x P(x) x Q(x) x [P(x) Q(x)] from our previous statement without using truth tables: Start: x P(x) x Q(x) x [P(x) Q(x)] negate both sides [ x P(x) x Q(x)] [ x [P(x) Q(x)]] x [ P(x)] x [ Q(x)] x [ P(x) Q(x)] substitute P(x) = A(x) Q(x) = B(x) x [A(x)] x [B(x)] x [A(x) B(x)] Predicate Calculus Truth Table Example 2: Is x P(x) x Q(x) x [P(x) Q(x)] true? x P(x) x Q(x) x P(x) x Q(x) x [P(x) Q(x)] Row 1: Can be true for some P(x) Q(x) and therefore not logically equivalent. (See example below.) Row 1: x P(x) = 0 P(x) has at least one 0 x Q(x) = 0 Q(x) has at least one 0 Does P(x) Q(x) always have at least one "0" for any P(x) and Q(x)? x P(x) x Q(x) P(x) Q(x) P(x) Q(x) x [P(x) Q(x)]

8 Predicate Calculus Truth Table Example 3 (Independent Variables): x P(x) y Q(y) x y [P(x) Q(y)] We have two propositions on the left side which form the compound proposition x y [P(x) Q(y)].We must consider all combinations of the truth values: x P(x) y Q(y) x P(x) y Q(y) x y [P(x) Q(y)] Row Row Row Row 4 Row 1: y Q(y) = 0 Q(y)=0 for all y values Therefore, sub in Q(y)=0 to get x y [P(x) 0 ] = x y P(x) = x P(x) Therefore, since x P(x) is false, then x y [P(x) Q(y)] = 0 Row 2: y Q(y) = 1 Q(c)=1 for some c Therefore, sub in Q(y)=1 to get x y [P(x) 1 ] = x y 1 = 1 Therefore, x y [P(x) Q(y)] = 1 Row 1: y Q(y) = 0 Q(y)=0 for all y values Therefore, sub in Q(y)=0 to get x y [P(x) 0 ] = x y P(x) = x P(x) Therefore, since x P(x) is true, then x y [P(x) Q(y)] = 1 Row 2: y Q(y) = 1 Q(c)=1 for some c Therefore, sub in Q(y)=1 to get x y [P(x) 1 ] = x y 1 = 1 Therefore, x y [P(x) Q(y)] = 1 x P(x) y Q(y) x y [P(x) Q(y)] is the same on both sides of the truth table and therefore the statement is true. In this case, the variables in each predicate are independent, so the order of the quantifiers DOES NOT MATTER. 7

9 Example: Definition of Continuity A function of f is continuous on the real numbers if and only if ε [(ε > 0) δ ((δ > 0) x y [ x - y < δ f(x) - f(y) < ε])] Universe of Discourse = R One can negate an expression. For example, consider the expression x [P(x) y Q(y)], negating gives the following: x [P(x) y Q(y)] x [P(x) y Q(y)] x [ P(x) y Q(y)] x [P(x) ( y Q(y))] x [P(x) y (Q(y))] **Recommended: Negate the definition of continuity: i.e., f is not continuous on R 8

10 Given the following predicates, evaluate the propositions generated by using the indicated quantifiers with those predicates. P(x,y) x R, y R P(x,y) x {0,1}, y {0,1} Quantifiers x 2 + y = y 2 + 2x x y x y = y x 0 (x = 1 and y = 2 is false) 0 (x = 1 and y = 0 is false) x y = y x 1 (x = 0 and y = 0 is true) 1 (x = 0 and y = 0 is true) x y 0: (2x - x 2 ) < 1, for x = 1 is imag 4 1: y = 1 See ** below. y x 0 1: y = 1 y x 1: y - y 2 < 1, is real for all y 1: x = 0 See * below. x y 0 1: x = 0 *: y x Case: x 2 + y = y 2 + 2x **: x y Case: x 2 + y = y 2 + 2x x 2-2x - (y 2 - y) = 0 y 2 - y - (x 2-2x) = 0 x = 2 ± 4 + 4(y2 - y) 2 y = 1 ± 1 + 4(x2-2x) 2 (4 + 4(y 2 - y)) > 0 (1 + 4(x 2-2x)) > 0 4(y 2 - y) > -4 4(x 2-2x) > -1 y 2 - y > -1 x 2-2x > y - y 2 < 1 2x - x 2 < 1 4 is true for all values is false when x = 1 of y 9

11 First Hour Exam Study Sheet I. Truth tables Be able to prove a logical equivalence or implication with a truth table. II. III. General knowledge Be familiar with: DeMorgan's laws that relate to, modus ponens, modus tollens, contrapositive, implication laws relating to and, transitivity laws, constructive and destructive dilemmas for combining multiple implications, etc. Understand a direct proof as well as an indirect proof such as proof by contradiction IV. Be able to follow and give reasons for each step in a propositional calculus proof V. Be able to test if a proposition is true by use of a truth table and give formal proof if true or counter example if false VI. Be able to prove a proposition by contradiction VII. Logic circuits A. Be able to produce logic statements from a logic circuit B. Be able to change the form of the logic statement by use of logical equivalences C. Be able to produce a logic circuit from the logic statement D. Know the symbols for and's, or's, nand's, nor's, etc. VIII. Predicate Calculus A. Know quantifiers, FOR ALL and THERE EXISTS B. Be able to apply DeMorgan s and other logical equivalence rules to predicate calculus statements C. Be able to prove logical impications and logical equivalences in predicate calculus using truth tables D. Be able to write predicate calculus statements in English and convert English statements to predicate calculus. 10

12 Some First Hour Exam Review Material These proofs are intended as extra practice problems for the first hour exam. They do not have to be turned in and will not be collected. However, they are recommended, since the same types of problems will be encountered on the exam. A solution for each problem is attached. Reminder: There are a variety of solutions for each problem, so your solution may or may not match the solution given. Do a direct and indirect proof for each. 1. Given: p (q r) Prove: s r (p s) q 2. Given: p q Prove: t ( p r) r s (q s) t 3. Given: p (q r) Prove: p (r s) q s 11

13 Solutions 1. Direct Proof: Statement 1. p (q r) Given 2. (p s) Given Reason 3. q Given 4. p s 2; Implication (rule 10a) 5. s p 4; Contrapositive (rule 9) 6. s (q r) 1,5; Hypothetical Syllogism (rule 24) 7. s ( q r) 6; Implication (rule 10a) 8. ( s ( q r)) 7; Implication (rule 10a) 9. (( s r) q) 8; Associate (rule 3a) 10. ( s r) 3,9; Disjunctive Syllogism (rule 21) 11. s r 10; Implication (rule 10a) Indirect Proof: Statement 1. p (q r) Given 2. (p s) Given Reason 3. q Given 4. (s r) Negation of Conclusion 5. (s r) 4; Implication (rule 10b) 6. p s 2; Implication (rule 10a) 7. s p 6; Contrapositive (rule 9) 8. s 5; Simplification (rule 17) 9. p 7,8; Modus Ponens (rule 19) 10. q r 1,9; Modus Ponens (rule 19) 11. r 5; Simplification (rule 17) 12. q 10,11; Modus Tollens (rule 20) 13. ( q q) 3,12; Conjunction (rule 34) 14. Contradiction 13; Rule 7b 12

14 2. Direct Proof: Statement Reason 1. p q Given 2. r s Given 3. (q s) t Given 4. (p r) (q s) 1,2; Constructive Dilemmas (rule 26a) 5. (p r) t 3,4; Hypothetical Syllogism (rule 24) 6. t (p r) 5; Contrapositive (rule 9) 7. t ( p r) 6; DeMorgan (rule 8a) Indirect Proof: Statement 1. p q Given 2. r s Given 3. (q s) t Given Reason 4. [t ( p r)] Negation of Conclusion 5. [t (p r)] 4; DeMorgan (rule 8a) 6. (t (p r)) 5; Implication (rule 10b) 7. t 6; Simplification (rule 17) 8. (p r) 6; Simplification (rule 17) 9. (p r) (q s) 1,2; Constructive Dilemmas (rule 26a) 10. (q s) 8,9; Modus Ponens (rule 19) 11. t 3,10; Modus Ponens (rule 19) 12. (t t) 7,11; Conjunction (rule 34) 13. Contradiction 12; Rule 7b 13

15 3. Direct Proof: Statement Reason 1. p (q r) Given 2. q s Given 3. (q r) (s r) 2; Rule 25a 4. p (s r) 1,3; Hypothetical Syllogism (rule 24) 5. p (r s) 4; Commutative (rule 2a) Indirect Proof: Statement 1. p (q r) Given 2. q s Given Reason 3. (p (r s)) Negation of Conclusion 4. (p (r s)) 3; Implication (rule 10b) 5. p 4; Simplification (rule 17) 6. (r s) 4; Simplification (rule 17) 7. ( r s) 6; DeMorgan (rule 8a) 8. r 7; Simplification (rule 17) 9. s 7; Simplification (rule 17) 10. q 2,9; Modus Tollens (rule 20) 11. ( q r) 8,10; Conjunction (rule 34) 12. (q r) 11; DeMorgan (rule 8a) 13. p 1,12; Modus Tollens (rule 20) 14. ( p p) 5,13; Conjunction (rule 34) 15. Contradiction 14; Rule 7b 14

16 More First Hour Exam Review Material These proofs are intended as extra practice problems for the first hour exam. They do not have to be turned in and will not be collected. However, they are recommended, since the same types of problems will be encountered on the exam. A solution for each problem is attached. Reminder: There are a variety of solutions for each problem, so your solution may or may not match the solution given. Do a direct proof for each. 1. Given: p q Prove: q s r s r p 2. Given: p q Prove: (p r) r s q s 3. Given: p s Prove: s q p q 4. Use the contrapositive and DeMorgan s laws on the right side of the following: [(p q) (r s)] [(p r) (q s)] (Note: This is the Constructive Dilemma) to obtain the following: [(p q) (r s)] [( q s) ( p r)] (Note: This is Destructive Dilemma). 5. Use the implication rule on the left side of the following: [(p q) q ] p (Note: This is Modus Tollens) to obtain the following: [( p q) q] p (Note: This is Disjunctive Syllogism). 15

17 Solutions 1. Statement Reason 1. p q Given 2. r s Given 3. r p Given 4. (p r) (q s) 1,2; Constructive Dilemmas (rule 26a) 5. p r 3; Commutative Laws (rule 2a) 6. q s 4,5; Modus Ponens (rule 19) 2. Statement Reason 1. p q Given 2. r s Given 3. q s Given 4. (q s) 3; DeMorgan s Laws (rule 8b) 5. (p r) (q s) 1,2; Constructive Dilemmas (rule 26b) 6. (p r) 4,5; Modus Tollens (rule 20) 3. Statement Reason 1. p s Given 2. q p Given 3. q Given 4. p 2,3; Disjunctive Syllogism (rule 21) 5. s 1,4; Modus Ponens (rule 19) [(p q) (r s)] [(p r) (q s)] [(p q) (r s)] [ (q s) (p r)] [(p q) (r s)] [( q s) ( p r)] Contrapositive DeMorgan s 5. [(p q) q] p [( p q) q] p Implication 16

18 Set Theory Outline I. Definitions II. Operations III. Use of Venn Diagrams IV. Set Proofs using Set Theory and Predicate Calculus 17

19 Sets Use capital letters such as A, B, C for set designation. Use small letters such as a, b, c for elements of a set. A = {a,b,c} {elements} = is element of a A A represents cardinality (number of elements) of a set. A = {a,b,c} = 3 Sets can be represented by a general description. B = {n n P} The elements of B are n such that n is an element of P. There are some special representations: [a,b] = {x R: a x b} [a,b) = {x R: a x < b} (a,b] = {x R: a < x b} (a,b) = {x R: a < x < b} Note: [1,2] infinite number of elements (1,2) infinite number of elements {1,2} two elements (also written { }) is the symbol for the empty set (the set with no elements). Elements of a set can be sets: A = {1,2,3} A = 3 B = {a,b,c,d} B = 4 C = {A,B} C = 2 18

20 Note: = 0 However { } = 1 P(A) is the power set of A. The power set is the set of elements which are all possible subsets of A. For any set A, A. (The empty set is a subset of all sets.) Examples: A = {0,1} Subsets of A:, {0}, {1}, {0,1} P(A) = {,{0},{1},{0,1}} A = {a,b,c} Subsets of A:, {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a,b,c} P(A) = {,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}} Suppose A = A = 0 P(A) = { } { } = 1 A = {a,b} A = 2 P(A) = {,{a},{b},{a,b}} P(A) = 4 A = 3 P(A) = 8 A = n P(A) = 2 n prove by induction A = A = 0 P(A) = = 1 true for zero A = n + 1 A = {e 1,e 2,,e n,e n+1 } P(A) = P(A/{e n+1 }) + P[(A/{e n+1 }) {e n+1 }] P(A) = 2 n + 2 n 2 2 n = 2 n+1 19

21 Set Operations Let: A = {1,2,5,7,9} B = {1,5,6,8} = union of sets A B = {x x A or x B} A B = {1,2,5,6,7,8,9} = intersection of sets A B = {x x A and x B} A B = {1,5} \ or - = difference (relative complement) of sets A/B = {x x A and x B} Also written as (A B c ) or (A - B) A/B = {2,7,9} B/A = {6,8} = symmetric difference (xor) of sets A B = {x (x (A B)) and (x (A B))} Also written as (A/B B/A) A B = {2,6,7,8,9} = subset of a set A B = {x if x A then x B} = proper subset of a set A B = {x if x A then x B, but not for all x B} Also written as (A B) U = universal set being considered i. e.: ℵ, R, etc. c = absolute complement of a set A c = {x x A} Also written as (U/A) 20

22 Laws of Algebra of Sets 1. Commutative Laws a. A B = B A b. A B = B A 2. Associative Laws a. (A B) C = A (B C) b. (A B) C = A (B C) 3. Distributive Laws a. A (B C) = (A B) (A C) b. A (B C) = (A B) (A C) 4. Idempotent Laws a. A A = A b. A A = A 5. Identity Laws a. A = A b. A = c. A U = U d. A U = A 6. Double Complementation (A c ) c = A 7. a. A A c = U b. A A c = 8. a. U c = b. c = U 9. De Morgan Laws a. (A B) c = A c B c b. (A B) c = A c B c 21

23 Venn Diagrams Union - A B Intersection - A B Relative Complement - A/B Symmetric Difference - A B 22

24 Absolute Complement - A c Examples: 1. Show (A-B)-C A-(B-C) Let A = {1,2} B = {1,3} C = {2,3} Then (A-B)-C = {2}-{2,3} =, but A-(B-C) = {1,2}-{1} = {2} 2. Show (A-B)-C A-(B-C) (A-B)-C A-(B-C) 23

25 Examples involving the empty set: {n ℵ 2 < n < 3} = {r Q r 2 = 2} = {x R x 2 < 0} = Illustration of the Distributive Laws: A (B C) = (A B) (A C) Consider De Morgan's Laws: (A B) c = A c B c (A B) c A c B c 24

26 Computer Representation of Subsets of a Small Set S 3-bit binary numbers S = {a,b,c} a b c Elements of P(S) {c} {b} {b,c} {a} {a,c} {a,b} {a,b,c} If S = k then P(S) = 2 k. Cardinality - size of set finite - if number of elements is n for some n ℵ. Set infinite- otherwise {a,b,c} 3 {2,4,,12} 6 {x R x = 0} 0 Cardinality {2x + 1 x P} infinite [0,1) infinite ℵ, R, Q, Z, P, C infinite 25

27 Examples 1. Q R = Q 2. R-Q = Irrationals 3. ℵ-P = {0} 4. Z P = {0,-1,-2,-3, } 5. ℵ P = ℵ 6. (0,1) Z = 7. (0,1) [1,2] = (0,2] 8. (0,1) (1,2) = True or False? 1. [(A B) (B C)] (A C) True: B = {A, } C 2. [(A B) (B C)] (A C) False: Counter-example: A = {1}, B = {{1},2}, C = {{1},2,3} 3. [(A B) (B C)] (A C) False: Counter-example: A = {1}, B = {{1},2}, C = {{{1},2},3} 26

28 Arithmetic Proofs Information N = Natural numbers 0,1,2,3,... P = Positive integers 1,2,3,... Z = all integers...-3,-2,-1,0,1,2,3,... Q = all rational numbers (ratio of two integers m/n) R = all real numbers 1.) We will deal most often with integers A. Integers are closed under 1. addition 2. multiplication Integers closed under an operation means that if you start with integers and perform these operations, you will end up with an integer = 5 all integers 4 * 7 = 28 all integers 9 4 = (2.25) 9 and 4 are integers but (2.25) is not an integer. Therefore, integers are not closed under division B. Other properties we will assume: 1. Normal arithmetic rules apply: a = 5 b. 4 * 7 = 28 c. 12/3 = 4, etc. 2. Properties of numbers a. x even x = 2n (where n is an integer) b. x is odd x = 2n + 1 (where n is an integer) c. x is rational x = m/n where m and n are integers d. x is prime x > 1 (and cannot be factored except by 1 and x) e. x is an integer x is prime or a product of primes f. if "a" and "b" are integers; there exist two integers "q" and "r" such that: a = q*b + r where 0 r < b. g. xy = 0 x = 0, y = 0, or both x and y = 0 27

29 28

Packet #1: Logic & Proofs. Applied Discrete Mathematics

Packet #1: Logic & Proofs. Applied Discrete Mathematics Packet #1: Logic & Proofs Applied Discrete Mathematics Table of Contents Course Objectives Page 2 Propositional Calculus Information Pages 3-13 Course Objectives At the conclusion of this course, you should

More information

Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014

Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014 Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014 1. Translate each of the following English sentences into formal statements using the logical operators (,,,,, and ). You may also use mathematical

More information

COMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University

COMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University COMP 182 Algorithmic Thinking Proofs Luay Nakhleh Computer Science Rice University 1 Reading Material Chapter 1, Section 3, 6, 7, 8 Propositional Equivalences The compound propositions p and q are called

More information

Discrete Mathematical Structures: Theory and Applications

Discrete Mathematical Structures: Theory and Applications Chapter 1: Foundations: Sets, Logic, and Algorithms Discrete Mathematical Structures: Theory and Applications Learning Objectives Learn about sets Explore various operations on sets Become familiar with

More information

Logic, Sets, and Proofs

Logic, Sets, and Proofs Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Operators. A logical statement is a mathematical statement that can be assigned a value either true or false.

More information

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

Intro to Logic and Proofs

Intro to Logic and Proofs Intro to Logic and Proofs Propositions A proposition is a declarative sentence (that is, a sentence that declares a fact) that is either true or false, but not both. Examples: It is raining today. Washington

More information

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) (2011 Admission Onwards) I Semester Core Course FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK 1) If A and B are two sets

More information

1 The Foundation: Logic and Proofs

1 The Foundation: Logic and Proofs 1 The Foundation: Logic and Proofs 1.1 Propositional Logic Propositions( 명제 ) a declarative sentence that is either true or false, but not both nor neither letters denoting propositions p, q, r, s, T:

More information

1 The Foundation: Logic and Proofs

1 The Foundation: Logic and Proofs 1 The Foundation: Logic and Proofs 1.1 Propositional Logic Propositions( ) a declarative sentence that is either true or false, but not both nor neither letters denoting propostions p, q, r, s, T: true

More information

Logic and Proof. Aiichiro Nakano

Logic and Proof. Aiichiro Nakano Logic and Proof Aiichiro Nakano Collaboratory for Advanced Computing & Simulations Department of Computer Science Department of Physics & Astronomy Department of Chemical Engineering & Materials Science

More information

Logic Overview, I. and T T T T F F F T F F F F

Logic Overview, I. and T T T T F F F T F F F F Logic Overview, I DEFINITIONS A statement (proposition) is a declarative sentence that can be assigned a truth value T or F, but not both. Statements are denoted by letters p, q, r, s,... The 5 basic logical

More information

2. Use quantifiers to express the associative law for multiplication of real numbers.

2. Use quantifiers to express the associative law for multiplication of real numbers. 1. Define statement function of one variable. When it will become a statement? Statement function is an expression containing symbols and an individual variable. It becomes a statement when the variable

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

software design & management Gachon University Chulyun Kim

software design & management Gachon University Chulyun Kim Gachon University Chulyun Kim 2 Outline Propositional Logic Propositional Equivalences Predicates and Quantifiers Nested Quantifiers Rules of Inference Introduction to Proofs 3 1.1 Propositional Logic

More information

Logic. Definition [1] A logic is a formal language that comes with rules for deducing the truth of one proposition from the truth of another.

Logic. Definition [1] A logic is a formal language that comes with rules for deducing the truth of one proposition from the truth of another. Math 0413 Appendix A.0 Logic Definition [1] A logic is a formal language that comes with rules for deducing the truth of one proposition from the truth of another. This type of logic is called propositional.

More information

Logic and Proofs. (A brief summary)

Logic and Proofs. (A brief summary) Logic and Proofs (A brief summary) Why Study Logic: To learn to prove claims/statements rigorously To be able to judge better the soundness and consistency of (others ) arguments To gain the foundations

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

A. Propositional Logic

A. Propositional Logic CmSc 175 Discrete Mathematics A. Propositional Logic 1. Statements (Propositions ): Statements are sentences that claim certain things. Can be either true or false, but not both. Propositional logic deals

More information

HANDOUT AND SET THEORY. Ariyadi Wijaya

HANDOUT AND SET THEORY. Ariyadi Wijaya HANDOUT LOGIC AND SET THEORY Ariyadi Wijaya Mathematics Education Department Faculty of Mathematics and Natural Science Yogyakarta State University 2009 1 Mathematics Education Department Faculty of Mathematics

More information

With Question/Answer Animations. Chapter 2

With Question/Answer Animations. Chapter 2 With Question/Answer Animations Chapter 2 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Sequences and Summations Types of

More information

5. Use a truth table to determine whether the two statements are equivalent. Let t be a tautology and c be a contradiction.

5. Use a truth table to determine whether the two statements are equivalent. Let t be a tautology and c be a contradiction. Statements Compounds and Truth Tables. Statements, Negations, Compounds, Conjunctions, Disjunctions, Truth Tables, Logical Equivalence, De Morgan s Law, Tautology, Contradictions, Proofs with Logical Equivalent

More information

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points Introduction to Discrete Mathematics 3450:208 Test 1 1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : The inverse of E : The

More information

First order Logic ( Predicate Logic) and Methods of Proof

First order Logic ( Predicate Logic) and Methods of Proof First order Logic ( Predicate Logic) and Methods of Proof 1 Outline Introduction Terminology: Propositional functions; arguments; arity; universe of discourse Quantifiers Definition; using, mixing, negating

More information

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.7, 5.5) TOPICS Sets and Functions Propositional and Predicate Logic Logical Operators and Truth Tables Logical Equivalences and Inference

More information

What is the decimal (base 10) representation of the binary number ? Show your work and place your final answer in the box.

What is the decimal (base 10) representation of the binary number ? Show your work and place your final answer in the box. Question 1. [10 marks] Part (a) [2 marks] What is the decimal (base 10) representation of the binary number 110101? Show your work and place your final answer in the box. 2 0 + 2 2 + 2 4 + 2 5 = 1 + 4

More information

Introduction to Sets and Logic (MATH 1190)

Introduction to Sets and Logic (MATH 1190) Introduction to Sets Logic () Instructor: Email: shenlili@yorku.ca Department of Mathematics Statistics York University Sept 18, 2014 Outline 1 2 Tautologies Definition A tautology is a compound proposition

More information

Boolean Algebra and Proof. Notes. Proving Propositions. Propositional Equivalences. Notes. Notes. Notes. Notes. March 5, 2012

Boolean Algebra and Proof. Notes. Proving Propositions. Propositional Equivalences. Notes. Notes. Notes. Notes. March 5, 2012 March 5, 2012 Webwork Homework. The handout on Logic is Chapter 4 from Mary Attenborough s book Mathematics for Electrical Engineering and Computing. Proving Propositions We combine basic propositions

More information

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises WUCT11 Discrete Mathematics Logic Tutorial Exercises 1 Logic Predicate Logic 3 Proofs 4 Set Theory 5 Relations and Functions WUCT11 Logic Tutorial Exercises 1 Section 1: Logic Question1 For each of the

More information

Math 3336: Discrete Mathematics Practice Problems for Exam I

Math 3336: Discrete Mathematics Practice Problems for Exam I Math 3336: Discrete Mathematics Practice Problems for Exam I The upcoming exam on Tuesday, February 26, will cover the material in Chapter 1 and Chapter 2*. You will be provided with a sheet containing

More information

MAT 243 Test 1 SOLUTIONS, FORM A

MAT 243 Test 1 SOLUTIONS, FORM A t MAT 243 Test 1 SOLUTIONS, FORM A 1. [10 points] Rewrite the statement below in positive form (i.e., so that all negation symbols immediately precede a predicate). ( x IR)( y IR)((T (x, y) Q(x, y)) R(x,

More information

DISCRETE MATH: FINAL REVIEW

DISCRETE MATH: FINAL REVIEW DISCRETE MATH: FINAL REVIEW DR. DANIEL FREEMAN 1) a. Does 3 = {3}? b. Is 3 {3}? c. Is 3 {3}? c. Is {3} {3}? c. Is {3} {3}? d. Does {3} = {3, 3, 3, 3}? e. Is {x Z x > 0} {x R x > 0}? 1. Chapter 1 review

More information

Predicate Logic. Andreas Klappenecker

Predicate Logic. Andreas Klappenecker Predicate Logic Andreas Klappenecker Predicates A function P from a set D to the set Prop of propositions is called a predicate. The set D is called the domain of P. Example Let D=Z be the set of integers.

More information

Compound Propositions

Compound Propositions Discrete Structures Compound Propositions Producing new propositions from existing propositions. Logical Operators or Connectives 1. Not 2. And 3. Or 4. Exclusive or 5. Implication 6. Biconditional Truth

More information

CSC 125 :: Final Exam May 3 & 5, 2010

CSC 125 :: Final Exam May 3 & 5, 2010 CSC 125 :: Final Exam May 3 & 5, 2010 Name KEY (1 5) Complete the truth tables below: p Q p q p q p q p q p q T T T T F T T T F F T T F F F T F T T T F F F F F F T T 6-15. Match the following logical equivalences

More information

2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic

2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic CS 103 Discrete Structures Chapter 1 Propositional Logic Chapter 1.1 Propositional Logic 1 1.1 Propositional Logic Definition: A proposition :is a declarative sentence (that is, a sentence that declares

More information

CSE 20. Final Review. CSE 20: Final Review

CSE 20. Final Review. CSE 20: Final Review CSE 20 Final Review Final Review Representation of integers in base b Logic Proof systems: Direct Proof Proof by contradiction Contraposetive Sets Theory Functions Induction Final Review Representation

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics Introductory Notes in Discrete Mathematics Solution Guide Marcel B. Finan c All Rights Reserved 2015 Edition Contents

More information

Chapter 1 Elementary Logic

Chapter 1 Elementary Logic 2017-2018 Chapter 1 Elementary Logic The study of logic is the study of the principles and methods used in distinguishing valid arguments from those that are not valid. The aim of this chapter is to help

More information

Propositional Logic. Spring Propositional Logic Spring / 32

Propositional Logic. Spring Propositional Logic Spring / 32 Propositional Logic Spring 2016 Propositional Logic Spring 2016 1 / 32 Introduction Learning Outcomes for this Presentation Learning Outcomes... At the conclusion of this session, we will Define the elements

More information

CS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1)

CS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1) CS100: DISCREE SRUCURES Lecture 5: Logic (Ch1) Lecture Overview 2 Statement Logical Connectives Conjunction Disjunction Propositions Conditional Bio-conditional Converse Inverse Contrapositive Laws of

More information

Discrete Mathematics. (c) Marcin Sydow. Sets. Set operations. Sets. Set identities Number sets. Pair. Power Set. Venn diagrams

Discrete Mathematics. (c) Marcin Sydow. Sets. Set operations. Sets. Set identities Number sets. Pair. Power Set. Venn diagrams Contents : basic definitions and notation A set is an unordered collection of its elements (or members). The set is fully specified by its elements. Usually capital letters are used to name sets and lowercase

More information

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!! CSCE 222 Discrete Structures for Computing Review for Exam 1 Dr. Hyunyoung Lee 1 Topics Propositional Logic (Sections 1.1, 1.2 and 1.3) Predicate Logic (Sections 1.4 and 1.5) Rules of Inferences and Proofs

More information

Part I: Propositional Calculus

Part I: Propositional Calculus Logic Part I: Propositional Calculus Statements Undefined Terms True, T, #t, 1 False, F, #f, 0 Statement, Proposition Statement/Proposition -- Informal Definition Statement = anything that can meaningfully

More information

Review. Propositional Logic. Propositions atomic and compound. Operators: negation, and, or, xor, implies, biconditional.

Review. Propositional Logic. Propositions atomic and compound. Operators: negation, and, or, xor, implies, biconditional. Review Propositional Logic Propositions atomic and compound Operators: negation, and, or, xor, implies, biconditional Truth tables A closer look at implies Translating from/ to English Converse, inverse,

More information

MTH 299 In Class and Recitation Problems SUMMER 2016

MTH 299 In Class and Recitation Problems SUMMER 2016 MTH 299 In Class and Recitation Problems SUMMER 2016 Last updated on: May 13, 2016 MTH299 - Examples CONTENTS Contents 1 Week 1 3 1.1 In Class Problems.......................................... 3 1.2 Recitation

More information

Topics in Logic and Proofs

Topics in Logic and Proofs Chapter 2 Topics in Logic and Proofs Some mathematical statements carry a logical value of being true or false, while some do not. For example, the statement 4 + 5 = 9 is true, whereas the statement 2

More information

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook) Lecture 2 Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits Reading (Epp s textbook) 2.1-2.4 1 Logic Logic is a system based on statements. A statement (or

More information

Logic and Proof. On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes!

Logic and Proof. On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! Logic and Proof On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! 26-Aug-2011 MA 341 001 2 Requirements for Proof 1. Mutual understanding

More information

Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic.

Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic. Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic. The method consists of using sets of Rules of Inference (valid argument forms)

More information

On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! 26-Aug-2011 MA

On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! 26-Aug-2011 MA Logic and Proof On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! 26-Aug-2011 MA 341 001 2 Requirements for Proof 1. Mutual understanding

More information

PROPOSITIONAL CALCULUS

PROPOSITIONAL CALCULUS PROPOSITIONAL CALCULUS A proposition is a complete declarative sentence that is either TRUE (truth value T or 1) or FALSE (truth value F or 0), but not both. These are not propositions! Connectives and

More information

Proofs. Chapter 2 P P Q Q

Proofs. Chapter 2 P P Q Q Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

More information

Logic and Proofs. (A brief summary)

Logic and Proofs. (A brief summary) Logic and Proofs (A brief summary) Why Study Logic: To learn to prove claims/statements rigorously To be able to judge better the soundness and consistency of (others ) arguments To gain the foundations

More information

Chapter 1 : The language of mathematics.

Chapter 1 : The language of mathematics. MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :

More information

Logical Operators. Conjunction Disjunction Negation Exclusive Or Implication Biconditional

Logical Operators. Conjunction Disjunction Negation Exclusive Or Implication Biconditional Logical Operators Conjunction Disjunction Negation Exclusive Or Implication Biconditional 1 Statement meaning p q p implies q if p, then q if p, q when p, q whenever p, q q if p q when p q whenever p p

More information

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations Logic Propositions and logical operations Main concepts: propositions truth values propositional variables logical operations 1 Propositions and logical operations A proposition is the most basic element

More information

Unit I LOGIC AND PROOFS. B. Thilaka Applied Mathematics

Unit I LOGIC AND PROOFS. B. Thilaka Applied Mathematics Unit I LOGIC AND PROOFS B. Thilaka Applied Mathematics UNIT I LOGIC AND PROOFS Propositional Logic Propositional equivalences Predicates and Quantifiers Nested Quantifiers Rules of inference Introduction

More information

Discrete Mathematics Logics and Proofs. Liangfeng Zhang School of Information Science and Technology ShanghaiTech University

Discrete Mathematics Logics and Proofs. Liangfeng Zhang School of Information Science and Technology ShanghaiTech University Discrete Mathematics Logics and Proofs Liangfeng Zhang School of Information Science and Technology ShanghaiTech University Resolution Theorem: p q p r (q r) p q p r q r p q r p q p p r q r T T T T F T

More information

ICS141: Discrete Mathematics for Computer Science I

ICS141: Discrete Mathematics for Computer Science I ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Originals slides by Dr. Baek and Dr. Still, adapted by J. Stelovsky Based on slides Dr. M. P. Frank and Dr. J.L. Gross

More information

Chapter 2: The Logic of Quantified Statements

Chapter 2: The Logic of Quantified Statements Chapter 2: The Logic of Quantified Statements Topics include 2.1, 2.2 Predicates and Quantified Statements, 2.3 Statements with Multiple Quantifiers, and 2.4 Arguments with Quantified Statements. cs1231y

More information

3. The Logic of Quantified Statements Summary. Aaron Tan August 2017

3. The Logic of Quantified Statements Summary. Aaron Tan August 2017 3. The Logic of Quantified Statements Summary Aaron Tan 28 31 August 2017 1 3. The Logic of Quantified Statements 3.1 Predicates and Quantified Statements I Predicate; domain; truth set Universal quantifier,

More information

CSC Discrete Math I, Spring Propositional Logic

CSC Discrete Math I, Spring Propositional Logic CSC 125 - Discrete Math I, Spring 2017 Propositional Logic Propositions A proposition is a declarative sentence that is either true or false Propositional Variables A propositional variable (p, q, r, s,...)

More information

Logic. Logic is a discipline that studies the principles and methods used in correct reasoning. It includes:

Logic. Logic is a discipline that studies the principles and methods used in correct reasoning. It includes: Logic Logic is a discipline that studies the principles and methods used in correct reasoning It includes: A formal language for expressing statements. An inference mechanism (a collection of rules) to

More information

2. The Logic of Compound Statements Summary. Aaron Tan August 2017

2. The Logic of Compound Statements Summary. Aaron Tan August 2017 2. The Logic of Compound Statements Summary Aaron Tan 21 25 August 2017 1 2. The Logic of Compound Statements 2.1 Logical Form and Logical Equivalence Statements; Compound Statements; Statement Form (Propositional

More information

Chapter 4, Logic using Propositional Calculus Handout

Chapter 4, Logic using Propositional Calculus Handout ECS 20 Chapter 4, Logic using Propositional Calculus Handout 0. Introduction to Discrete Mathematics. 0.1. Discrete = Individually separate and distinct as opposed to continuous and capable of infinitesimal

More information

2.2: Logical Equivalence: The Laws of Logic

2.2: Logical Equivalence: The Laws of Logic Example (2.7) For primitive statement p and q, construct a truth table for each of the following compound statements. a) p q b) p q Here we see that the corresponding truth tables for two statement p q

More information

1.1 Statements and Compound Statements

1.1 Statements and Compound Statements Chapter 1 Propositional Logic 1.1 Statements and Compound Statements A statement or proposition is an assertion which is either true or false, though you may not know which. That is, a statement is something

More information

Do not start until you are given the green signal

Do not start until you are given the green signal SOLUTIONS CSE 311 Winter 2011: Midterm Exam (closed book, closed notes except for 1-page summary) Total: 100 points, 5 questions. Time: 50 minutes Instructions: 1. Write your name and student ID on the

More information

Conjunction: p q is true if both p, q are true, and false if at least one of p, q is false. The truth table for conjunction is as follows.

Conjunction: p q is true if both p, q are true, and false if at least one of p, q is false. The truth table for conjunction is as follows. Chapter 1 Logic 1.1 Introduction and Definitions Definitions. A sentence (statement, proposition) is an utterance (that is, a string of characters) which is either true (T) or false (F). A predicate is

More information

SRI VENKATESWARA COLLEGE OF ENGINEERING AND TECHNOLOGY MA DISCRETE MATHEMATICS

SRI VENKATESWARA COLLEGE OF ENGINEERING AND TECHNOLOGY MA DISCRETE MATHEMATICS 1 MA6566 - DISCRETE MATHEMATICS UNIT I - LOGIC AND PROOFS Propositional Logic Propositional equivalences-predicates and quantifiers-nested Quantifiers- Rules of inference-introduction to Proofs-Proof Methods

More information

Readings: Conjecture. Theorem. Rosen Section 1.5

Readings: Conjecture. Theorem. Rosen Section 1.5 Readings: Conjecture Theorem Lemma Lemma Step 1 Step 2 Step 3 : Step n-1 Step n a rule of inference an axiom a rule of inference Rosen Section 1.5 Provide justification of the steps used to show that a

More information

CHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic

CHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic CHAPER 1 MAHEMAICAL LOGIC 1.1 undamentals of Mathematical Logic Logic is commonly known as the science of reasoning. Some of the reasons to study logic are the following: At the hardware level the design

More information

Tools for reasoning: Logic. Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications:

Tools for reasoning: Logic. Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications: Tools for reasoning: Logic Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications: 1 Why study propositional logic? A formal mathematical language for precise

More information

Tutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement

Tutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement Tutorial - 1 1. Obtain the principal disjunctive normal form and principal conjunction form of the statement Let S P P Q Q R P P Q Q R A: P Q Q R P Q R P Q Q R Q Q R A S Minterm Maxterm T T T F F T T T

More information

Automata Theory and Formal Grammars: Lecture 1

Automata Theory and Formal Grammars: Lecture 1 Automata Theory and Formal Grammars: Lecture 1 Sets, Languages, Logic Automata Theory and Formal Grammars: Lecture 1 p.1/72 Sets, Languages, Logic Today Course Overview Administrivia Sets Theory (Review?)

More information

Steinhardt School of Culture, Education, and Human Development Department of Teaching and Learning. Mathematical Proof and Proving (MPP)

Steinhardt School of Culture, Education, and Human Development Department of Teaching and Learning. Mathematical Proof and Proving (MPP) Steinhardt School of Culture, Education, and Human Development Department of Teaching and Learning Terminology, Notations, Definitions, & Principles: Mathematical Proof and Proving (MPP) 1. A statement

More information

Proofs. Chapter 2 P P Q Q

Proofs. Chapter 2 P P Q Q Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

More information

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,

More information

Announcements. Exam 1 Review

Announcements. Exam 1 Review Announcements Quiz today Exam Monday! You are allowed one 8.5 x 11 in cheat sheet of handwritten notes for the exam (front and back of 8.5 x 11 in paper) Handwritten means you must write them by hand,

More information

EECS 1028 M: Discrete Mathematics for Engineers

EECS 1028 M: Discrete Mathematics for Engineers EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 12 Using the laws

More information

Math 10850, fall 2017, University of Notre Dame

Math 10850, fall 2017, University of Notre Dame Math 10850, fall 2017, University of Notre Dame Notes on first exam September 22, 2017 The key facts The first midterm will be on Thursday, September 28, 6.15pm-7.45pm in Hayes-Healy 127. What you need

More information

1.1 Language and Logic

1.1 Language and Logic c Oksana Shatalov, Spring 2018 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,

More information

1.1 Language and Logic

1.1 Language and Logic c Oksana Shatalov, Fall 2017 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,

More information

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007)

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007) Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007) Problem 1: Specify two different predicates P (x) and

More information

BOOLEAN ALGEBRA. Introduction. 1854: Logical algebra was published by George Boole known today as Boolean Algebra

BOOLEAN ALGEBRA. Introduction. 1854: Logical algebra was published by George Boole known today as Boolean Algebra BOOLEAN ALGEBRA Introduction 1854: Logical algebra was published by George Boole known today as Boolean Algebra It s a convenient way and systematic way of expressing and analyzing the operation of logic

More information

Before you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here.

Before you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here. Chapter 2 Mathematics and Logic Before you get started, make sure you ve read Chapter 1, which sets the tone for the work we will begin doing here. 2.1 A Taste of Number Theory In this section, we will

More information

Discrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques

Discrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques Discrete Mathematics & Mathematical Reasoning Predicates, Quantifiers and Proof Techniques Colin Stirling Informatics Some slides based on ones by Myrto Arapinis Colin Stirling (Informatics) Discrete Mathematics

More information

A set is an unordered collection of objects.

A set is an unordered collection of objects. Section 2.1 Sets A set is an unordered collection of objects. the students in this class the chairs in this room The objects in a set are called the elements, or members of the set. A set is said to contain

More information

Section 1.1 Propositions

Section 1.1 Propositions Set Theory & Logic Section 1.1 Propositions Fall, 2009 Section 1.1 Propositions In Chapter 1, our main goals are to prove sentences about numbers, equations or functions and to write the proofs. Definition.

More information

It rains now. (true) The followings are not propositions.

It rains now. (true) The followings are not propositions. Chapter 8 Fuzzy Logic Formal language is a language in which the syntax is precisely given and thus is different from informal language like English and French. The study of the formal languages is the

More information

Notation Index. gcd(a, b) (greatest common divisor) NT-16

Notation Index. gcd(a, b) (greatest common divisor) NT-16 Notation Index (for all) B A (all functions) B A = B A (all functions) SF-18 (n) k (falling factorial) SF-9 a R b (binary relation) C(n,k) = n! k! (n k)! (binomial coefficient) SF-9 n! (n factorial) SF-9

More information

Mat 243 Exam 1 Review

Mat 243 Exam 1 Review OBJECTIVES (Review problems: on next page) 1.1 Distinguish between propositions and non-propositions. Know the truth tables (i.e., the definitions) of the logical operators,,,, and Write truth tables for

More information

Recall that the expression x > 3 is not a proposition. Why?

Recall that the expression x > 3 is not a proposition. Why? Predicates and Quantifiers Predicates and Quantifiers 1 Recall that the expression x > 3 is not a proposition. Why? Notation: We will use the propositional function notation to denote the expression "

More information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

More information

Discrete Mathematics for M.Sc.CS

Discrete Mathematics for M.Sc.CS Discrete Mathematics Page 1 CONTENTS UNIT-1 : SETS & RELATIONS 4-11 1. Discrete Mathematics Introduction... 4 2. Sets Set Definition... 4 Representation of a Set... 4 Cardinality of a Set... 5 Types of

More information

Basic properties of the Integers

Basic properties of the Integers Basic properties of the Integers Branko Ćurgus May 2, 2017 1 Axioms for the Integers In the axioms below we use the standard logical operators: conjunction, disjunction, exclusive disjunction, implication,

More information

COMP 2600: Formal Methods for Software Engineeing

COMP 2600: Formal Methods for Software Engineeing COMP 2600: Formal Methods for Software Engineeing Dirk Pattinson Semester 2, 2013 What do we mean by FORMAL? Oxford Dictionary in accordance with convention or etiquette or denoting a style of writing

More information

Math.3336: Discrete Mathematics. Nested Quantifiers/Rules of Inference

Math.3336: Discrete Mathematics. Nested Quantifiers/Rules of Inference Math.3336: Discrete Mathematics Nested Quantifiers/Rules of Inference Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu

More information