Negative conclusion from affirmative premises


Negative conclusion from affirmative premises is a syllogistic fallacy committed when a categorical syllogism has a negative conclusion yet both premises are affirmative. The inability of affirmative premises to reach a negative conclusion is usually cited as one of the basic rules of constructing a valid categorical syllogism.
Statements in syllogisms can be identified as the following forms:
The rule states that a syllogism in which both premises are of form a or i cannot reach a conclusion of form e or o. Exactly one of the premises must be negative to construct a valid syllogism with a negative conclusion.
Example :
The aao-4 form is perhaps more subtle as it follows many of the rules governing valid syllogisms, except it reaches a negative conclusion from affirmative premises.
Invalid aao-4 form:
This is valid only if A is a proper subset of B and/or B is a proper subset of C. However, this argument reaches a faulty conclusion if A, B, and C are equivalent. In the case that A = B = C, the conclusion of the following simple aaa-1 syllogism would contradict the aao-4 argument above: