Propositional Logic, Modus Ponens, Modus Tollens, Disjunctive Syllogisms

Disjunctive Syllogisms

Either P or Q, P, therefore not Q OR Either P or Q, Not P, therefore Q

Denying the Antecedent

If P then Q, Not P, then not Q (Invalid)

Affirming the Consequent

If P then Q, Q, therefore P (Invalid)

Modus Ponens

In the mood of affirming, If P then Q, P, therefore Q

Modus Tollens

In the mood of denying, If P then Q, Not Q, therefore not P

Going between the horns

when one shows that a third possibility is possible, doesn't need to prove that the third possibility is the case though

False Dilemma/Choice

when people claim that it is either/or dilemma, when in reality there is a third choice