Table 2.3.1 (p.61) Valid Argument Forms
Modus Ponenspq
p
q
Modus Tollenspq
~ q
∴ ~ p
Generalizationp
pq
Specializationpq
p
Conjunctionp
q
pq
Eliminationpq
~ q
p
Transitivitypq
qr
pr
Proof by
Division into Cases
pq
pr
qr
r
Contradiction Rule~ pc
p
Invalid Argument Forms
Converse Errorpq
q
p
Inverse Errorpq
~ p
∴ ~ q