Loading W Code...
| Statement 1 | Statement 2 | Conclusion |
|---|---|---|
| All A are B | All B are C | All A are C ✓ |
| Some A are B | All B are C | Some A are C ✓ |
| Some A are B | Some B are C | No Conclusion ✗ |
| No A is B | All B are C | Some C are not A ✓ |
Rule:
All A are B + All B are C → All A are C
Example:
All cats are animals. All animals are living beings.
Conclusion: All cats are living beings. ✓