Theorems of the Propositional Calculus

May 26, 2011

Equivalence and True

Axiom, Associativity of : ((p q) r) (p (q r)) Axiom, Symemetyry of : p q q equivp Axiom, Identity of : true q q true Reexivity of : p p

Negation, Inequivalence, and False

Axiom, Denition of f alse: f alse true Axiom, Distributivity of over : (p q) p q Axiom, Denition of =: (p = q) (p q) = p q p q Double Negation: p p Negation of f alse: f alse true (p = q) p q Symmetry of =: (p = q) (q = p) Associativity of =: ((p = q) = r) (p = (q = r)) Mutual Associativity: ((p = q) r) (p = (q r)) Mutual Interchangeability: p = q r p q = r

Disjunction
Axiom, Symmetry of : p q q p Axiom, Associativity of : (p q) r p (q r) Axiom, Idenpotency of : p p p Axiom, Distributivity of over : p (q r) p q p r Axiom, Excluded Middle: p = p Zero of : p true true Identity of : p f alse p Distributivity of over : p(q r) (pq)(pr) pq pq p

Conjunction
Axiom, Golden Rule: p q p q p q Symettry of : p q q p Associativity if : (p q) r p (q r) Idenpotency of : p p p Identity of : p true p Zero of : p f alse f alse Distributivity of over : p (q r) (p q) (p r) Contradiction: p p f alse Absorption: (a)p (p q) p Absorption: (a)p (p q) p q Distributivity of over : Distributivity of over : De Morgan: (a)(p q) p q p q p q p p (q r) p q p r p p (q p) p q Replacement: (p q) (r p) (p q) (r q) Denition of : p q (p q) (p q) Exclusive or: p = q (p q) (p q) (p q) r p q r p q q r r p p q r (b)(p q) p q (b)p (p q) p (b)p (p q) p q