You are on page 1of 18

De Morgans Theorems (DM): ~(p q) (~p v ~q)

~(p v q) (~p ~q)


Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(1)

(2)

1. (M P) (N Q)

1. S

2. (M N)

/PQ

/ (F S)

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(3)

(4)

1. J (K L)

1. (N T)

2. K

/J

2. T

/ N

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(5)

(6) 1. R B

1. H A

2. D R

2. A

/ (H A)

3. B

/D

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(7)

(8)

1. T (B E)

1. (O M) S

2. E T

2. S

/B

/ M

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(9)

(10)

1. Q (L C)

1. (K H) (K L)

2. C

2. L

/LQ

/H

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(11)

(12)

1. (E N) T

1. H (C T)

2. G (N E)

/GT

2. (F T)

/F

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(13)

(14)

1. (E I) (M U)

1. (J K)

2. E

2. B K

/ (E M)

3. S B

/ S J

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(15)

(16)

1. (G H) (M G)

1. (Q N) (N T)

2. G (T A)

/A

2. (Q C) N

/T

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(17)

(18)

1. (U R)

1. (F A)

2. (R N) (P H)

2. (L A)

3. Q H

3. D (F L)

/ Q

/ D

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(19)

(20)

1. [(I M) G] G

1. E B

2. M G

2. U C

/M

3. (E U)

/ (B C)

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(21)

(22)

1. (K F)

1. S (I J)

2. F (K C)

2. S R

3. (G C) H

/ (K H)

3. J Q

/ (R Q)

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(23)

(24)

1. (J F) M

1. (K P) (K Q)

2. (J M) P

2. P K

3. F

/ (F P)

/QT

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(25)

(26)

1. E (D C)

1. A (F L)

2. (E D) C

/E

2. A (U W)
3. F (U X)

/ U (W X)

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(27)

(28)

1. (T R) P

1. P (I L)

2. (P R) G

2. (P I) (L C)

3. (T N) H

/H

3. (P C) (E F)

/FD

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(29)

(30)

1. B (S N)

1. (M E) (S U)

2. B S

2. (Q E) (U H)

3. S N

/BW

3. (M Q)

/SH

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(31)

(32)

1. (R D) (F G)

1. Q (C B)

2. (F R) S

2. T (B H)

3. F S

/ (S G)

3. (Q T)

/B

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(33)

(34)

1. (A G)

1. (M N) (O P)

2. (A E)

2. (N O) P

3. G E

/ (A F)

/N

De Morgans Theorems (DM): ~(p q) (~p v ~q)


~(p v q) (~p ~q)
Commutation( Com): (p v q) (q v p)
(p q) (q p)

Transposition (Trans): (p q) (~q ~p)


Material Implication (Impl) : (p q) (~p v q)
Material Equivalence (Equiv): (p q) [(p q) (q p)]
(p q) [(p q) v (~p ~q)]

Association (Assoc): [p v (q v r)] [(p v q) v r]


[p (q r)] [(p q) r]

Exportation (Exp): [(p q) r] [p (q r)]

Distribution (Dist): [p (q v r)] [(p q) v (p r)]


[p v (q r)] [(p v q) (p v r)]

Tautology (Taut): p (p v p)
p (p p)

Double Negation (DN): p ~~p

(35)
1. (T K) (C E)
2. K E
3. E C

/TK