Affirming the consequent

Affirming the consequent is a formal logical fallacy that results from confusing the concepts of "necessary" and "sufficient." The fallacy takes the following logical form:

• If P, then Q.
• Q.
• Therefore, P.

The following is an example:

• If Jack is meeting an important client today, he will wear his blue suit.
• Jack is wearing his blue suit.
• Therefore, Jack is meeting an important client today.

Affirming the consequent is fallacious because the initial premise does not rule out situations in which Q could be true even without P. In other words, in formal logic, as in general speech, "if" does not mean "only if" or "if and only if." In the example given above, even if the first premise is invariably true, Jack could decide to wear his blue suit on other days.

Denying the ancecedent

Denying the antecedent is a variant that takes the following form:

• If P, then Q.
• Not P.
• Therefore, not Q.

Denying the antecedent is fallacious for the same reason given above.