More on Logic

Here are a few other argument forms:

Modus Tollens
P-->Q (Read as "If P, then Q)
~Q (Not Q)
Therefore, ~P

Disjunctive Syllogism
Either P or Q
~P
Therefore, Q

Hypothetical Syllogism
P-->Q
Q-->R
Therefore, P-->R