| Mood and Figure: AAA-1 | All M are P All S are M All S are P |
| rule | rule met? | explanation | |
| 1. | If a syllogism is valid, then the middle term is distributed at least once. | yes | Middle term is distributed in the subject of the first premise. |
| 2. | If a syllogism is valid, then if a term is distributed in
the conclusion, it must be distributed in a premise.
|
yes | "S" is distibuted in the conclusion, and also in the premise. |
| 3. | If a syllogism is valid, it does not have two negative
premises.
|
yes | No negative premises. |
| 4. | If a syllogism is valid, then it has a negative premise, if
and only if it has a negative conlusion.
|
yes | No negative conlusion or premises. |
| 5. | If a syllogism is valid, then if its premises are universal,
then its conclusion is universal.
|
yes | Premises are universal and conclusion is universal? |
Result: This argument is valid.