Engineering Writing by Design, 2nd Edition

Quick Reference

Valid Categorical Syllogisms^†

All M is P.	No M is P.	All M is P.
All S is M.	All S is M.	Some S is M.
∴ All S is P.	∴ No S is P.	∴ Some S is P.
No M is P.	No P is M.	All P is M.
Some S is M.	All S is M.	No S is M.
∴ Some S is not P.	∴ No S is P.	∴ No S is P.
No P is M.	All P is M.	All P is M.
Some S is M.	Some S is not M.	No M is S.
∴ Some S is not P.	∴ Some S is not P.	∴ No S is P.
Some M is P.	All M is P.	Some P is M.
All M is S.	Some M is S.	All M is S.
∴ Some S is P.	∴ Some S is P.	∴ Some S is P.
Some M is not P.	No M is P.	No P is M.
All M is S.	Some M is S.	Some