Professional Documents
Culture Documents
Associativity of
Symmetry of
vs.
Introduction of
Associativity of
Symmetry of
Idempotency of
Distributivity of over
Excluded Middle
Golden Rule
Implication
((A B) C) (A (B C))
(A B) (B A)
A A
(A B) C A (B C)
A B BA
AAA
A (B C) A B A C
A A
A BA BA B
A B A B B
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(11)
(1.4.13(c))
(1.4.13(d))
(2.1.15)
(2.1.16)
(2.1.21)
(A B) A B
A A
A
A A
(2.4.1)
(2.4.4)
(2.4.5)
(2.4.7)
(2.4.10)
DeMorgan 1
DeMorgan 2
A B A B
A B A B B
A (B C) (A B A C)
A B (A B)
A B (A B)
(2.4.11)
(2.4.12)
(2.4.13)
(2.4.17)
(2.4.18)
Distributivity of over
Distributivity of over
AAA
A A
A
A (B C) (A B) (A C)
A (B C) (A B) (A C)
(2.4.19)
(2.4.20)
(2.4.21)
(2.4.23(i))
(2.4.23(ii))
A (B C) (A B) (A C)
(A B) C (A C) (B C)
A B (A B) (B A)
(2.4.25)
(2.4.24)
(2.4.26)
A, B A B
AAA
A A B
A BA
(2.5.1(1))
(2.5.1(2))
(2.5.1(3))
(2.5.1(4))
Transitivity
Double Negation
Distributivity of over
Ping-Pong Theorem
Merge
Split
Cut Rule
A B, A C B C
A B, A B B
A B, A B
A, A
(2.5.4)
(2.5.5)
(2.5.6)
(2.5.7)
Modus Ponens
Transitivity of
A, A B B
A B, B C A C
(2.5.3)
(2.5.9)
Proof by Cases
A C, B D A B C D
A C, B C A B C
A C, A C C
(2.5.10)
(2.5.11)
(2.5.13)