Section 7 3 Part III Problems

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)

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (p p)
(3)
(4)
1. J (K L)
1. (N T)
2. K
/J
2. T
/ N

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (p p)
(5)
(6) 1. R B
1. H A
2. D R
2. A
/ (H A)
3. B
/D

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (p p)
(7)
(8)
1. T (B E)
1. (O M) S
2. E T
2. S
/B
/ M

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (p p)
(9)
(10)
1. Q (L C)
1. (K H) (K L)
2. C
2. L
/LQ
/H

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (p p)
(11)
(12)
1. (E N) T
1. H (C T)
2. G (N E)
/GT
2. (F T)
/F

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (p p)
(13)
(14)
1. (E I) (M U)
1. (J K)
2. E
2. B K
/ (E M)
3. S B
/ S J

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (p p)
(15)
(16)
1. (G H) (M G)
1. (Q N) (N T)
2. G (T A)
/A
2. (Q C) N
/T

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (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

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (p p)
(19)
(20)
1. [(I M) G] G
1. E B
2. M G
2. U C
/M
3. (E U)
/ (B C)

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (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)

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (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

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (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)

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (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

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (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

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (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

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (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

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

(p q) [(p q) v (~p ~q)]

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

[p v (q r)] [(p v q) (p v r)]
p (p p)
(35)
1. (T K) (C E)
2. K E
3. E C
/TK

Section 7 3 Part III Problems

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Section 7 3 Part III Problems

Uploaded by

Copyright:

Available Formats

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

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

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

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

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

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

Double Negation (DN): p ~~p

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

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

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

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

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

Double Negation (DN): p ~~p

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

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

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

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

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

Double Negation (DN): p ~~p

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

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

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

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

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

Double Negation (DN): p ~~p

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

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

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

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

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

Double Negation (DN): p ~~p

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

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

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

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

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

Double Negation (DN): p ~~p

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

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

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

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

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

Double Negation (DN): p ~~p

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

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

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

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

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

Double Negation (DN): p ~~p

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

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

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

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

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

Double Negation (DN): p ~~p

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

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

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

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

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

Double Negation (DN): p ~~p

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