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

Exercise 7.7
(1)

/ P [(P Q) Q]

(2)
/ (P Q) (P R)

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)

/ P [P (Q P)]

(4)

/ (P Q) [(P R) (Q R)]

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)

/ (P Q) [(P R) (Q R)]

(6)

/ P [P (Q 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

(7)

(8)
/ (P Q) (Q P)

/ (P Q) [P (P 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

(9)

/ [(P Q) (P R)] [P (Q R)]

(10)

/ [(P Q) Q] P

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)

/ (P Q) (Q P)

(12)

/ [P (Q R)] [Q (P R)]

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)

/ (P Q) [(P Q) P]

(14)

/ [(P Q) R] [(R R) P]

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)

/ (P Q) [(P Q) (P Q)]

(16)

/ [(P P) (P P)]

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)

/ P [(Q Q) R]

(18)
/ [(P Q) R] [(R Q) (P 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

(19)

/ P [P (Q Q)]

(20)

/ P [Q (P Q)]