Set theory/Aristotelian Syllogisms/1/Exercise
Jump to navigation
Jump to search
Prove the following (settheoretical versions of) syllogisms of Aristotle. Let denote sets.
- Modus Barbara: and imply .
- Modus Celarent: and imply .
- Modus Darii: and imply .
- Modus Ferio: and imply .
- Modus Baroco: and imply .