| All forms of
"(~A ● ~B)
∨ (C ⊃
C)" |
| P |
1 @ length 1 |
| P ∨ Q |
1 @ length 3 |
P ∨ (Q
⊃ Q)
P ∨ (Q
⊃ R)
(P ● Q) ∨ R |
3 @ length 7
◄
missing on p. 305
|
(~P ● Q)
∨ R
(P ● ~Q)
∨ R |
2 @ length 8
◄
missing on p. 305 |
| (~P ● ~Q)
∨ R |
1 @ length 9 |
(P ● Q) ∨ (R
⊃ R)
(P ● Q) ∨ (R
⊃ S) |
2 @ length 11
|
(P ● ~Q)
∨ (R ⊃
R)
(P ● ~Q)
∨ (R ⊃
S)
(~P ● Q)
∨ (R ⊃
R)
(~P ● Q)
∨ (R ⊃
S) |
4 @ length 12 |
(~P ● ~Q)
∨ (R ⊃ R)
(~P ● ~Q)
∨ (R ⊃ S) |
2 @ length 13 |