CIS 1910 Lecture Notes - Lecture 3: Free Variables And Bound Variables, Luiza, Propositional Calculus

• School: University of Guelph
• Department: Computing and Information Science
• Course: CIS 1910
• Professor: Luiza Antonie

Document Summary

Lecture 03: bonus marks: 5% for completing at least 80% of the activities from the textbook. Identity laws: p p p p p p. Associative laws: (p q) r p (q r) (p q) r p (q r) Commutative laws: p q q p p q q p. Distributive laws: p (q r) (p q) (p r) p (q r) (p q) (p r) P p p f p p t p. Domination laws: p f f p t t. F t p p f p p t. Conditional identities: p = q p q p q (p = q) (q = p) Absorption laws: p (p q) p p (p q) p. Exercise: prove (the long way) (the short way) Dr. luiza antonie ( p q) (p q) f ( p q) (p q) let ( p q) be a and let ( p q) be b. ( ( p q) (p q) ( (p q))