( V ametavariable) P P true. even in E)
|
|
- Roxanne Boone
- 5 years ago
- Views:
Transcription
1 Propositional Calculus E Inference rules (3.1) Leibniz: (3.2) Transitivity: (3.3) Equanimity: P = Q E[V := P ]=E[V := Q] P = Q Q = R P = R P P Q Q ( V ametavariable) Derived inference rules (3.11) Redundant true : (3.91) Modus ponens: (4.8) Monotonicity: P P P true P P ) Q Q P Q E[V := P ] ) E[V := Q] true P (for parity of V even in E) (4.9) Antimonotonicity: P ) Q E[V := P ] ( E[V := Q] (for parity of V odd in E) Equivalence and true (3.5) Axiom, Associativity of : ((P Q) R) (P (Q R)) (3.6) Axiom, Symmetry of : P Q Q P (3.7) Axiom, Identity of : true Q Q (3.8) Reexivity of : P P (3.9) true (3.12) Metatheorem: Any two theorems are equivalent. Negation, inequivalence, and false (3.15) Axiom, Denition of false : false :true (3.17) Axiom, Distributivity of : over : :(P Q) :P Q (3.14) Axiom, Denition of 6 : (P 6 Q) :(P Q) (3.18) :P Q P :Q (3.19) Double negation: ::P P (3.16) Negation of false : :false true (3.20) (P 6 Q) :P Q (3.13) :P P false (3.21) Symmetry of 6 : (P 6 Q) (Q 6 P ) (3.22) Associativity of 6 : ((P 6 Q) 6 R) (P 6 (Q 6 R)) (3.23) Mutual associativity: ((P 6 Q) R) (P 6 (Q R))
2 (3.24) Mutual interchangeability: P 6 Q R P Q 6 R Disjunction (3.29) Axiom, Symmetry of _ : P _ Q Q _ P (3.30) Axiom, Associativity of _ : (P _ Q) _ R P _ (Q _ R) (3.31) Axiom, Idempotency of _ : P _ P P (3.32) Axiom, Distributivity of _ over : P _ (Q R) P _ Q P _ R (3.33) Axiom, Excluded Middle: P _:P true (3.34) Zero of _ : P _ true true (3.35) Identity of _ : P _ false P (3.36) Distributivity of _ over _ : P _ (Q _ R) (P _ Q) _ (P _ R) (3.37) P _ Q P _:Q P Conjunction (3.40) Axiom Golden rule : P ^ Q P Q P _ Q (3.41) Symmetry of ^ : P ^ Q Q ^ P (3.42) Associativity of ^ : (P ^ Q) ^ R P ^ (Q ^ R) (3.43) Idempotency of ^ : P ^ P P (3.44) Identity of ^ : P ^ true P (3.45) Zero of ^ : P ^ false false (3.46) Distributivity of ^ over ^ : P ^ (Q ^ R) (P ^ Q) ^ (P ^ R) (3.47) Contradiction: P ^:P false (3.48) Absorption: (a) P ^ (P _ Q) P (b) P _ (P ^ Q) P (3.49) Absorption: (a) P ^ (:P _ Q) P ^ Q (b) P _ (:P ^ Q) P _ Q (3.50) Distributivity of _ over ^ : P _ (Q ^ R) (P _ Q) ^ (P _ R) (3.51) Distributivity of ^ over _ : P ^ (Q _ R) (P ^ Q) _ (P ^ R) (3.52) De Morgan: (a) :(P ^ Q) :P _:Q (3.53) P ^ Q P ^:Q :P (b) :(P _ Q) :P ^:Q (3.54) P ^ (Q R) P ^ Q P ^ R P (3.55) P ^ (Q P ) P ^ Q (3.56) Replacement: (P Q) ^ (R P ) (P Q) ^ (R Q) (3.57) Denition of : P Q (P ^ Q) _ (:P ^:Q) (3.58) Exclusive or: P 6 Q (:P ^ Q) _ (P ^:Q)
3 (3.62) (P ^Q) ^ R P Q R P _Q Q_R R_P P _Q_R Implication (3.65) Axiom, Implication: P ) Q P _ Q Q (3.64) Axiom, Consequence: P ( Q Q ) P (3.66) Implication: P ) Q P ^ Q P (3.63) Implication: P ) Q :P _ Q (3.67) Contrapositive: P ) Q :Q ):P (3.68) P ) (Q R) P ^ Q P ^ R (3.69) Distributivity of ) (a) over : P ) (Q R) P ) Q P ) R (b) over _ : P ) Q _ R (P ) Q) _ (P ) R) (c) over ^ : P ) (Q ^ R) (P ) Q) ^ (P ) R) (d) over ) : P ) (Q ) R) (P ) Q) ) (P ) R) (3.70) Shunting: P ^ Q ) R P ) (Q ) R) (3.71) P ) (Q ) P ) (3.72) P ^ (P ) Q) P ^ Q (3.73) P ^ (Q ) P ) P (3.74) P _ (P ) Q) true (3.75) P _ (Q ) P ) Q ) P (3.76) P _ Q ) P ^ Q P Q (3.77) Reexivity of ) : P ) P true (3.78) Right zero of ) : P ) true true (3.79) Left identity of ) : true ) P P (3.80) P ) false :P (3.81) false ) P true (3.82) Weakening/strengthening: (a) P ) P _ Q (3.83) Modus ponens: P ^ (P ) Q) ) Q (b) P ^ Q ) P (3.84) (P ) R) ^ (Q ) R) (P _ Q ) R) (3.85) (P ) R) ^ (:P ) R) R (c) P ^ Q ) P _ Q (d) P _ (Q ^ R) ) P _ Q (e) P ^ Q ) P ^ (Q _ R) (3.86) Mutual implication: (P ) Q) ^ (Q ) P ) (P Q) (3.87) Antisymmetry: (P ) Q) ^ (Q ) P ) ) (P Q) (3.88) Transitivity of : (P Q) ^ (Q R) ) (P R) (3.89) Transitivity: (a) (P ) Q) ^ (Q ) R) ) (P ) R)
4 (b) (P Q) ^ (Q ) R) ) (P ) R) (c) (P ) Q) ^ (Q R) ) (P ) R) (??) Metatheorem Modus ponens: If P and P ) Q are theorems, so is Q Leibniz as an axiom (3.93) Axiom, Leibniz: X = Y ) E[V := X] = E[V := Y ] (3.94) Substitution: (a) X = Y ^ E[V := X] X = Y ^ E[V := Y ] E[V := Y ] (b) X = Y ) E[V := X] X = Y ) E[V := Y ] (c) Q ^ X = Y ) E[V := X] Q ^ X = Y ) (3.95) Replace by true : (a) P ) E[V := P ] P ) E[V := true] (b) Q ^ P ) E[V := P ] Q ^ P ) E[V := true] (3.96) Replace by false : (a) E[V := P ] ) P E[V := false] ) P (b) E[V := P ] ) P _ Q E[V := false] ) P _ Q (3.97) Replace by true : P ^ E[V := P ] P ^ E[V := true] (3.98) Replace by false : P _ E[V := P ] P _ E[V := false] (3.99) Boole: E[V := P ] (P ^ E[V := true]) _ (:P ^ E[V := false]) Monotonicity theorems (4.1) Monotonic _ : (P ) Q) ) (P _ R ) Q _ R) (4.2) Monotonic ^ : (P ) Q) ) (P ^ R ) Q ^ R) (4.3) Monotonic consequent: (P ) Q) ) ((R ) P ) ) (R ) Q)) (4.4) Antimonotonic : : (P ) Q) ) (:P (:Q) (4.5) Antimonotonic antecedent: (P ) Q) ) ((P ) R) ( (Q ) R)) (4.7) Metatheorem Montonicity: Provided P ) Q is a theorem and the parity of the position of V E is even, E[V := P ] ) E[V := Q]. Provided P ) Q is a theorem and the parity of the position of V E is odd, E[V := P ] ( E[V := Q]. (4.11) (P ) P 0 ) ) ((Q ) Q 0 ) ) (P ^ Q ) P 0 ^ Q 0 )) (4.12) (P _ Q _ R) ^ (P ) S) ^ (Q ) S) ^ (R ) S) ) S Proof techniques and strategies (3.10) Basic strategies: To prove P Q, transform P to Q, transform Q to P, or transform P Q to a previous theorem. (3.26) Heuristic: Identify applicable theorems by matching the structure of subexpressions with the theorems. (3.27) Principle: Structure proofs to avoid repeating the same subexpression on many lines. in
5 (3.28) Heuristic Unfold-fold: To prove a theorem concerning an operator, remove it using its denition, manipulate, and reintroduce it using its denition. (3.38) Heuristic: To prove P Q, transform the expression with the most structure (either P or Q )into the other. (3.39) Principle: Structure proofs to minimize the number of rabbits. (3.61) Principle: Lemmas can provide structure, bring to light interesting facts, and ultimately shorten proofs. (3.60) Heuristic: Exploit the ability to parse theorems like the Golden rule in many dierent ways. (4.10) Deduction: To prove P ) Q, assume P and prove Q, with the variables and metavariables of P treated as constants. (4.12) Case analysis: To prove S,prove P _ Q _ R, P ) S, Q ) S, and R ) S. (4.13) Partial evaluation: To prove E[V := P ],prove E[V := true] and E[V := false]. (4.14) Mutual implication: To prove P Q,prove P ) Q and Q ) P. (4.19) Contradiction: To prove P,prove :P ) false (perhaps by assuming :P and proving false ). (4.22) Contrapositive: To prove P ) Q,prove :Q ):P. (5.2) Heuristic: To show that an English argument is sound, formalize it and prove that its formalization is a theorem. (5.3) Heuristic: To disprove an expression (prove that it is not a theorem), nd a counterexample: a state in which the expression is false. General Laws of Quantification For symmetric and associative binary operator? with identity u. (8.18) Leibniz: R ) P = Q (?x R : E[V := P ]) = (?x R : E[V := Q]) (8.19) Caveat. The axioms and theorems for all quantications hold only in cases in which all the individual quantications are dened or specied. Theorems (8.20) Axiom, Empty range: (?x false : P ) =u (8.21) Axiom, Identity accumulation: (?x R : u) =u (8.22) Axiom, One-point rule: Provided :occurs(`x' `E'), (?x x = E : P ) = P x E (8.23) Axiom, Distributivity: (?x R : P )? (?x R : Q) = (?x R : P?Q)
6 (8.24) Axiom, Range split: (?x R _ S : P )? (?x R ^ S : P ) = (?x R : P )? (?x S : P ) (8.25) Axiom, Interchange of dummies: Provided :occurs(`y' `R') and :occurs(`x' `Q'), (?x R :(?y Q : P )) = (?y Q :(?x R : P )) (8.26) Axiom, Nesting: Provided :occurs(`y' `R'), (?x y R ^ Q : P )=(?x R :(?y Q : P )) (8.27) Range split: Provided R ^ S false (?x R _ S : P ) = (?x R : P )? (?x S : P ) (8.28) Range split for idempotent? : (?x R _ S : P ) = (?x R : P )? (?x S : P ) (8.29) Dummy reordering: (?x y R : P )=(?y x R : P ) (8.30) Change of dummy: Provided :occurs(`y' `R P '), and f has an inverse, (?x R : P )=(?y R x f:y : P x f:y) (8.31) Dummy renaming: Provided :occurs(`y' `R P '), (?x R : P )=(?y R x y : P x y ) (8.32) Split o term (example): (?i 0 i<n+1:p ) = (?i 0 i<n: P )?P i n Theorems of the Predicate Calculus Universal quantification (9.3) Axiom, Distributivity of _ over 8 : Provided :occurs(`x' `P '), P _ (8x R : Q) (8x R : P _ Q) (9.4) Trading: (a) (8x R : P ) (8x : R ) P ) (b) (8x R : P ) (8x : R _ P P ) (c) (8x R : P ) (8x : R ^ P R) (d) (8x R : P ) (8x : :R _ P ) (9.5) Trading: (a) (8x Q ^ R : P ) (8x Q : R ) P ) (b) (8x Q ^ R : P ) (8x Q : R _ P P ) (c) (8x Q ^ R : P ) (8x Q : R ^ P R) (d) (8x Q ^ R : P ) (8x Q : :R _ P ) (9.6) 8-True body: (8x R : true) true (9.7) 8-False body: (8x : false) false (9.8) 8-Split-o-term: (8x : P ) (8x : P ) ^ P x E (9.9) Quantied freshy: Provided :occurs(`x' `P '), P ) (8x R : P ) (9.10) Provided :occurs(`x' `P '), P ^ (8x R : Q) ) (8x R : P ^ Q) (9.11) Distributivity of ^ over 8 : Provided :occurs(`x' `P '), :(8x : :R) ) ((8x R : P ^ Q) P ^ (8x R : Q)) (9.12) (8x R : P Q) ) ((8x R : P ) (8x R : Q))
7 (9.13) Provided :occurs(`x' `Q'), Q ) (8x R : P ) (8x R : Q ) P ) (9.14) Monotonic 8-body: (8x R : P ) Q) ) ((8x R : P ) ) (8x R : Q)) (9.15) Antimonotonic 8-range: (8x :R : P ) Q) ) ((8x P : R) ( (8x Q : R)) (9.17) Instantiation: (8x : P ) ) P x E (9.18) Provided :occurs(`x' `P '), (8x : P ) P (9.21) Metatheorem: P is a theorem i (8x : P ) is a theorem. Existential quantification (9.22) Axiom, Generalized De Morgan: (9x R : P ) :(8x R : :P ) (9.23) Generalized De Morgan: (a) :(9x R : :P ) (8x R : P ) (b) :(9x R : P ) (8x R : :P ) (c) (9x R : :P ) :(8x R : P ) (9.25) Distributivity of ^ over 9 : Provided :occurs(`x' `P '), P ^ (9x R : Q) (9x R : P ^ Q) (9.26) Trading: (9x R : P ) (9x : R ^ P ) (9.27) Trading: (9x Q ^ R : P ) (9x Q : R ^ P ) (9.28) 9-False body: (9x R : false) false (9.29) 9-True body: (9x : true) true (9.30) 9-Split-o-term: (9x : P ) (9x : P ) _ P x E (9.31) Quantied freshy: Provided :occurs(`x' `P '), (9x R : P ) ) P (9.32) Provided :occurs(`x' `P '), (9x R : P _ Q) ) P _ (9x R : Q) (9.33) Distributivity of _ over 9 : Provided :occurs(`x' `P '), (9x : R) ) ((9x R : P _ Q) P _ (9x R : Q)) (9.34) (8x R : P Q) ) ((9x R : P ) (9x R : Q)) (9.35) Provided :occurs(`x' `Q'), (9x R : P ) ) Q (8x R : P ) Q) (9.36) Monotonic 9-body: (8x R : P ) Q) ) ((9x R : P ) ) (9x R : Q)) (9.37) Monotonic 9-range: (8x R : P ) Q) ) ((9x P : R) ) (9x Q : R)) (9.38) 9-Introduction: P x E ) (9x : P ) (9.39) Provided :occurs(`x' `P '), (9x : P ) P (9.40) Interchange of quantications: Provided :occurs(`y' `R') and :occurs(`x' `Q'), (9x R :(8y Q : P )) ) (8y Q :(9x R : P ))
8 (9.41) Metatheorem Witness: Provided :occurs(`^x' `P Q R'), (9x R : P ) ) Q is a theorem i (R ^ P ) x^x ) Q is a theorem. Set Theory Set comprehension and enumeration (10.2) Set enumeration: fe 0 ::: E n;1g = fx x = E 0 x = E n;1 : xg (10.3) Axiom, Universe: U: set(t) =fx:t true : xg (10.4) Axiom, Set membership: Provided :occurs(`x' `F '), F 2 fx R : Eg (9x R : F = E) (10.5) Axiom, Extensionality: S = T (8x : x 2 S x 2 T ) (10.6) S = fx x 2 S : xg (10.7) Empty range: fx false : P g = fg (10.8) Empty set: (v 2 fx false : P g) = (v 2 fg) = false (10.9) Singleton membership : e 2 feg e = E (10.10) One-point rule: Provided :occurs(`x' `E'), fx x = E : P g = fp [x:= E]g (10.11) Dummy reordering: fx y R : P g = fy x R : P g (10.12) Change of dummy: Provided :occurs(`y' `R P ') and f has an inverse, fx R : P g = fy R[x:= f:y]:p [x:= f:y]g (10.13) Dummy renaming: Provided :occurs(`y' `R P '), fx R : P g = fy R[x:= y] :P [x:= y]g (10.14) Provided :occurs(`y' `R E'), fx R : Eg = fy (9x R : y = E)g (10.15) x 2 fx Rg R (10.16) Principle of comprehension. To each predicate R corresponds the set fx:t Rg, which contains the objects in t that satisfy characteristic predicate R of the set. (10.17) fx Qg = fx Rg (8x : Q R) (10.18) Metatheorem: fx Qg = fx Rg is valid i Q R is valid. Operations on sets (10.20) Axiom, Size: # S = (x x 2 S :1) (10.21) Axiom, Subset: S T (8x x 2 S : x 2 T ) (10.22) Axiom, Proper subset: S T S T ^ S 6= T (10.23) Axiom, Superset: T S S T (10.24) Axiom, Proper superset: T S S T (10.25) Axiom, Complement: x 2 S x 62 S (for x in U ) (10.26) Axiom, Union: v 2 S [ T v 2 S _ v 2 T
9 (10.27) Axiom, Intersection: v 2 S \ T v 2 S ^ v 2 T (10.28) Axiom, Dierence: v 2 S ; T v 2 S ^ v 62 T (10.29) Axiom, Power set: v 2 PS v S (10.31) Metatheorem: For any set expressions E s and F s, (a) E s = F s is valid i E p F p is valid, (b) E s F s is valid i E p ) F p is valid, (c) E s = U is valid i E p is valid. Properties of complement (10.32) fx:t P g = fx: t :P g (10.33) S = S (10.34) U = fg (10.35) fg= U Properties of union and intersection (10.36){(10.40): [ is symmetric, associative, idempotent, has zero U, and has identity fg. (10.41) Weakening: S S [ T (10.42) Excluded middle: S [S = U (10.43){(10.47): \ is symmetric, associative, idempotent, has zero fg, and has identity U. (10.48) Strengthening: S \ T S (10.49) Contradiction: S \S = fg (10.50) Distributivity of [ over \ : S [ (T \ V ) = (S [ T ) \ (S [ V ) (10.51) Distributivity of \ over [ : S \ (T [ V ) = (S \ T ) [ (S \ V ) (10.52) De Morgan: (a) (S [ T ) = S \T (b) (S \ T ) = S [T (10.53) S T ^ W V ) (S [ W ) (T [ V ) (10.54) S T ^ W V ) (S \ W ) (T \ V ) (10.55) S T S [ T = T (10.56) S T S \ T = S (10.57) S [ T = U (8x x 2 U : x 62 S ) x 2 T ) (10.58) S \ T = fg (8x : x 2 S ) x 62 T ) (10.59) Range split: fx P _ Q : Eg = fx P : Eg [fx Q : Eg Properties of set difference (10.60) S ; T = S \T (10.61) S ; T S (10.62) S ;fg= S
10 (10.63) S ; U = (10.64) fg;s = fg (10.65) U ; S = S (10.66) S \ (T ; S) = fg (10.67) S [ (T ; S) = S [ T (10.68) S ; (T [ V ) = (S ; T ) \ (S ; V ) (10.69) S ; (T \ V ) = (S ; T ) [ (S ; V ) (10.70) (S [ T ) ; V = (S ; V ) [ (T ; V ) (10.71) (S \ T ) ; V = (S ; V ) \ (T ; V ) (10.72) (S ; T ) = S [ T Properties of subset (10.73) (8x : P ) Q) fx P gfx Qg (10.74) Antisymmetry: S T ^ T S S = T (10.75) Reexivity: S S (10.76) Transitivity: S T ^ T V ) S V (10.77) fgs (10.78) S T S T ^ :(T S) (10.79) S T S T ^ (9x x 2 T : x 62 S) (10.80) S T S T _ S = T (10.81) S 6 S (10.82) S T ) S T (10.83) S T ) T 6 S (10.84) S T ) T 6 S (10.85) S T ^:(V T ) ) :(V S) (10.86) T U ^:(T S) ) :(U S) (10.87) Transitivity: (a) S T ^ T V ) S V (b) S T ^ T V ) S V (c) S T ^ T V ) S V Properties of powerset (10.88) Pf g = ff gg (10.89) S 2 PS (10.90) # (PS) =2 # S (for nite set S ) (10.91) Monotonic P : S T )PS PT (10.95) Axiom of Choice: For t a type, there exists a function f :set(t)! t such that for any nonempty set S, f:s 2 S.
11 Mathematical Induction (11.3) Mathematical Induction over N: For all P, P:0 ^ (8n:N :(8i 0 i n : P:i) ) P (n + 1)) ) (8n:N : P:n) (11.7) Heuristic: In proving (8i 0 i n : P:i) ) P (n +1) by assuming (8i 0 i n : P:i), manipulate or restate P (n + 1) in order to expose at least one of P:0 ::: P:n. (11.16) Mathematical Induction over hu i : For all P, (8x : P:x) (8x :(8y y x : P:y) ) P:x) (11.18) Denition of well-founded: hu i is well-founded i, for all S, S 6= fg (9x : x 2 S ^ (8y y x : y=2 S)) (11.19) Theorem: hu i is well founded i it admits induction. (11.21) Axiom, Finite chain property: (8x :(8y y x : DCF :y) ) DCF :x) (11.23) Theorem: hu i is well founded i every decreasing chain is nite.
Assignments for Math 220, Formal Methods. J. Stanley Warford
Assignments for J. Stanley Warford September 28, 205 Assignment Chapter, Section, and Exercise numbers in these assignments refer to the text for this course, A Logical Approach to Discrete Math, David
More informationBasic Propositional Logic. Inductive Theory of the Natural Numbers. Conjunction. Equivalence. Negation and Inequivalence. Implication.
McMaster University COMPSCI&SFWRENG 2DM3 Dept. of Computing and Software Theorem List 4 Dr. W. Kahl 2017-12-09 The names listed here are precisely the names used in the preloaded material you are already
More informationDiscrete Mathematics and Logic II. Predicate Calculus
Discrete Mathematics and Logic II. Predicate Calculus SFWR ENG 2FA3 Ryszard Janicki Winter 2014 Acknowledgments: Material based on A Logical Approach to Discrete Math by David Gries and Fred B. Schneider
More informationTHEOREMS FROM GRIES AND SCHNEIDER S LADM
THEOREMS FROM GRIES AND SCHNEIDER S LADM J. STANLEY WARFORD ABSTRACT. This is a collection of the axioms and theorems in Gries and Schneider s book A Logical Approach to Discrete Math (LADM), Springer-Verlag,
More informationCOMP 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 informationEquational Logic: Part 2. Roland Backhouse March 6, 2001
1 Equational Logic: Part 2 Roland Backhouse March 6, 2001 Outline 2 We continue the axiomatisation of the propositional connectives. The axioms for disjunction (the logical or of two statements) are added
More informationA Programmer s Introduction to Predicate Logic. Technical Report UMCIS
A Programmer s Introduction to Predicate Logic Technical Report UMCIS 1994 02 H. Conrad Cunningham cunningham@cs.olemiss.edu Software Architecure Research Group Department of Computer and Information Science
More informationFoundations 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 informationPacket #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics
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
More informationn 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 informationIntro 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 informationPart 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 informationConjunction: 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 informationReadings: 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 informationPacket #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 informationChapter 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 information2. 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 informationCSC 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 information3. 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 informationCSCE 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 informationLogic 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 informationOutline. Formale Methoden der Informatik First-Order Logic for Forgetters. Why PL1? Why PL1? Cont d. Motivation
Outline Formale Methoden der Informatik First-Order Logic for Forgetters Uwe Egly Vienna University of Technology Institute of Information Systems Knowledge-Based Systems Group Motivation Syntax of PL1
More informationReview 1. Andreas Klappenecker
Review 1 Andreas Klappenecker Summary Propositional Logic, Chapter 1 Predicate Logic, Chapter 1 Proofs, Chapter 1 Sets, Chapter 2 Functions, Chapter 2 Sequences and Sums, Chapter 2 Asymptotic Notations,
More informationChapter 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 informationTools 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 informationWhat 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 informationLogic, 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 informationNotation for Logical Operators:
Notation for Logical Operators: always true always false... and...... or... if... then...... if-and-only-if... x:x p(x) x:x p(x) for all x of type X, p(x) there exists an x of type X, s.t. p(x) = is equal
More informationToday. Proof using contrapositive. Compound Propositions. Manipulating Propositions. Tautology
1 Math/CSE 1019N: Discrete Mathematics for Computer Science Winter 2007 Suprakash Datta datta@cs.yorku.ca Office: CSEB 3043 Phone: 416-736-2100 ext 77875 Course page: http://www.cs.yorku.ca/course/1019
More informationDiscrete Mathematics Review
CS 1813 Discrete Mathematics Discrete Mathematics Review or Yes, the Final Will Be Comprehensive 1 Truth Tables for Logical Operators P Q P Q False False False P Q False P Q False P Q True P Q True P True
More information1 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 informationIt 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 informationin the Third Printing of A Logical Approach to Discrete Math David Gries and Fred B. Schneider
1 Errors to be Corrected in the Third Printing of A Logical Approach to Discrete Math by David Gries and Fred B. Schneider 23 August 1994 A number of errors will be corrected in the third printing of \A
More informationUNIVERSITY 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 informationCSE 20 DISCRETE MATH WINTER
CSE 20 DISCRETE MATH WINTER 2016 http://cseweb.ucsd.edu/classes/wi16/cse20-ab/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition
More informationCSE 20 DISCRETE MATH SPRING
CSE 20 DISCRETE MATH SPRING 2016 http://cseweb.ucsd.edu/classes/sp16/cse20-ac/ Today's learning goals Evaluate which proof technique(s) is appropriate for a given proposition Direct proof Proofs by contraposition
More informationLECTURE 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 informationSample 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 informationReview CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.
CHAPTER 2 Review 2.1 Definitions in Chapter 2 2.1 Set; Element; Member; Universal Set 2.2 Subset 2.3 Proper Subset 2.4 The Empty Set, 2.5 Set Equality 2.6 Cardinality; Infinite Set 2.7 Complement 2.8 Intersection
More informationLogic. 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 informationLogic 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 informationEquivalence of Propositions
Equivalence of Propositions 1. Truth tables: two same columns 2. Sequence of logical equivalences: from one to the other using equivalence laws 1 Equivalence laws Table 6 & 7 in 1.2, some often used: Associative:
More informationLecture 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 informationDisjunction/Conjunction Normal Form
Normal Forms Well formed formula (wff) also called formula, is a string consists of propositional variables, connectives, and parenthesis used in the proper manner. E.g. ((p q) ( p r)) pq r is a disjunction
More informationDISCRETE 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 informationBasic 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 informationSection 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 informationLogic 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 informationMat 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 informationPropositional Logic Language
Propositional Logic Language A logic consists of: an alphabet A, a language L, i.e., a set of formulas, and a binary relation = between a set of formulas and a formula. An alphabet A consists of a finite
More informationExercises 1 - Solutions
Exercises 1 - Solutions SAV 2013 1 PL validity For each of the following propositional logic formulae determine whether it is valid or not. If it is valid prove it, otherwise give a counterexample. Note
More information1 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 informationThe Inclusion Exclusion Principle and Its More General Version
The Inclusion Exclusion Principle and Its More General Version Stewart Weiss June 28, 2009 1 Introduction The Inclusion-Exclusion Principle is typically seen in the context of combinatorics or probability
More informationLogic 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 information1. (B) The union of sets A and B is the set whose elements belong to at least one of A
1. (B) The union of sets A and B is the set whose elements belong to at least one of A or B. Thus, A B = { 2, 1, 0, 1, 2, 5}. 2. (A) The intersection of sets A and B is the set whose elements belong to
More informationNormal Forms Note: all ppts about normal forms are skipped.
Normal Forms Note: all ppts about normal forms are skipped. Well formed formula (wff) also called formula, is a string consists of propositional variables, connectives, and parenthesis used in the proper
More informationDiscrete 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 informationLogic Part II: Intuitionistic Logic and Natural Deduction
Yesterday Remember yesterday? classical logic: reasoning about truth of formulas propositional logic: atomic sentences, composed by connectives validity and satisability can be decided by truth tables
More informationPropositional Logics and their Algebraic Equivalents
Propositional Logics and their Algebraic Equivalents Kyle Brooks April 18, 2012 Contents 1 Introduction 1 2 Formal Logic Systems 1 2.1 Consequence Relations......................... 2 3 Propositional Logic
More informationLecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel
Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical
More informationIntelligent Agents. First Order Logic. Ute Schmid. Cognitive Systems, Applied Computer Science, Bamberg University. last change: 19.
Intelligent Agents First Order Logic Ute Schmid Cognitive Systems, Applied Computer Science, Bamberg University last change: 19. Mai 2015 U. Schmid (CogSys) Intelligent Agents last change: 19. Mai 2015
More informationsoftware 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 informationHandout on Logic, Axiomatic Methods, and Proofs MATH Spring David C. Royster UNC Charlotte
Handout on Logic, Axiomatic Methods, and Proofs MATH 3181 001 Spring 1999 David C. Royster UNC Charlotte January 18, 1999 Chapter 1 Logic and the Axiomatic Method 1.1 Introduction Mathematicians use a
More information3.1 Universal quantification and implication again. Claim 1: If an employee is male, then he makes less than 55,000.
Chapter 3 Logical Connectives 3.1 Universal quantification and implication again So far we have considered an implication to be universal quantication in disguise: Claim 1: If an employee is male, then
More informationSets, Logic, Relations, and Functions
Sets, Logic, Relations, and Functions Andrew Kay September 28, 2014 Abstract This is an introductory text, not a comprehensive study; these notes contain mainly definitions, basic results, and examples.
More informationPropositional Logic, Predicates, and Equivalence
Chapter 1 Propositional Logic, Predicates, and Equivalence A statement or a proposition is a sentence that is true (T) or false (F) but not both. The symbol denotes not, denotes and, and denotes or. If
More informationn logical not (negation) n logical or (disjunction) n logical and (conjunction) n logical exclusive or n logical implication (conditional)
Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.6) TOPICS Propositional Logic Logical Operators Truth Tables Implication Logical Equivalence Inference Rules What you should know about propositional
More informationOverview. I Review of natural deduction. I Soundness and completeness. I Semantics of propositional formulas. I Soundness proof. I Completeness proof.
Overview I Review of natural deduction. I Soundness and completeness. I Semantics of propositional formulas. I Soundness proof. I Completeness proof. Propositional formulas Grammar: ::= p j (:) j ( ^ )
More informationDiscrete 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 informationPREDICATE LOGIC. Schaum's outline chapter 4 Rosen chapter 1. September 11, ioc.pdf
PREDICATE LOGIC Schaum's outline chapter 4 Rosen chapter 1 September 11, 2018 margarita.spitsakova@ttu.ee ICY0001: Lecture 2 September 11, 2018 1 / 25 Contents 1 Predicates and quantiers 2 Logical equivalences
More informationWith 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 informationMAT 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 informationContents Propositional Logic: Proofs from Axioms and Inference Rules
Contents 1 Propositional Logic: Proofs from Axioms and Inference Rules... 1 1.1 Introduction... 1 1.1.1 An Example Demonstrating the Use of Logic in Real Life... 2 1.2 The Pure Propositional Calculus...
More informationA. 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 informationVersion January Please send comments and corrections to
Mathematical Logic for Computer Science Second revised edition, Springer-Verlag London, 2001 Answers to Exercises Mordechai Ben-Ari Department of Science Teaching Weizmann Institute of Science Rehovot
More informationCS1021. Why logic? Logic about inference or argument. Start from assumptions or axioms. Make deductions according to rules of reasoning.
3: Logic Why logic? Logic about inference or argument Start from assumptions or axioms Make deductions according to rules of reasoning Logic 3-1 Why logic? (continued) If I don t buy a lottery ticket on
More informationProofs. 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 informationLanguage of Propositional Logic
Logic A logic has: 1. An alphabet that contains all the symbols of the language of the logic. 2. A syntax giving the rules that define the well formed expressions of the language of the logic (often called
More information02 Propositional Logic
SE 2F03 Fall 2005 02 Propositional Logic Instructor: W. M. Farmer Revised: 25 September 2005 1 What is Propositional Logic? Propositional logic is the study of the truth or falsehood of propositions or
More informationChapter 3: Propositional Calculus: Deductive Systems. September 19, 2008
Chapter 3: Propositional Calculus: Deductive Systems September 19, 2008 Outline 1 3.1 Deductive (Proof) System 2 3.2 Gentzen System G 3 3.3 Hilbert System H 4 3.4 Soundness and Completeness; Consistency
More informationcse 311: foundations of computing Fall 2015 Lecture 6: Predicate Logic, Logical Inference
cse 311: foundations of computing Fall 2015 Lecture 6: Predicate Logic, Logical Inference quantifiers x P(x) P(x) is true for every x in the domain read as for all x, P of x x P x There is an x in the
More informationUnit 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 informationLECTURE 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 informationUndergraduate 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 informationThe Process of Mathematical Proof
1 The Process of Mathematical Proof Introduction. Mathematical proofs use the rules of logical deduction that grew out of the work of Aristotle around 350 BC. In previous courses, there was probably an
More informationProofs. Joe Patten August 10, 2018
Proofs Joe Patten August 10, 2018 1 Statements and Open Sentences 1.1 Statements A statement is a declarative sentence or assertion that is either true or false. They are often labelled with a capital
More informationInformal Statement Calculus
FOUNDATIONS OF MATHEMATICS Branches of Logic 1. Theory of Computations (i.e. Recursion Theory). 2. Proof Theory. 3. Model Theory. 4. Set Theory. Informal Statement Calculus STATEMENTS AND CONNECTIVES Example
More informationLearning Goals of CS245 Logic and Computation
Learning Goals of CS245 Logic and Computation Alice Gao April 27, 2018 Contents 1 Propositional Logic 2 2 Predicate Logic 4 3 Program Verification 6 4 Undecidability 7 1 1 Propositional Logic Introduction
More informationChapter 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 informationAutomata 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 informationCISC-102 Fall 2018 Week 11
page! 1 of! 26 CISC-102 Fall 2018 Pascal s Triangle ( ) ( ) An easy ( ) ( way ) to calculate ( ) a table of binomial coefficients was recognized centuries ago by mathematicians in India, ) ( ) China, Iran
More informationProof Techniques (Review of Math 271)
Chapter 2 Proof Techniques (Review of Math 271) 2.1 Overview This chapter reviews proof techniques that were probably introduced in Math 271 and that may also have been used in a different way in Phil
More informationMATH 1090 Problem Set #3 Solutions March York University
York University Faculties of Science and Engineering, Arts, Atkinson MATH 1090. Problem Set #3 Solutions Section M 1. Use Resolution (possibly in combination with the Deduction Theorem, Implication as
More informationTutorial on Axiomatic Set Theory. Javier R. Movellan
Tutorial on Axiomatic Set Theory Javier R. Movellan Intuitively we think of sets as collections of elements. The crucial part of this intuitive concept is that we are willing to treat sets as entities
More informationLogic via Algebra. Sam Chong Tay. A Senior Exercise in Mathematics Kenyon College November 29, 2012
Logic via Algebra Sam Chong Tay A Senior Exercise in Mathematics Kenyon College November 29, 2012 Abstract The purpose of this paper is to gain insight to mathematical logic through an algebraic perspective.
More informationFirst 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 informationPropositional and Predicate Logic - V
Propositional and Predicate Logic - V Petr Gregor KTIML MFF UK WS 2016/2017 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - V WS 2016/2017 1 / 21 Formal proof systems Hilbert s calculus
More informationPropositional 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 informationCompound 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 informationCISC-102 Winter 2016 Lecture 17
CISC-102 Winter 2016 Lecture 17 Logic and Propositional Calculus Propositional logic was eventually refined using symbolic logic. The 17th/18th century philosopher Gottfried Leibniz (an inventor of calculus)
More information