Categorical Syllogism Generator

Any two distinct Ideas must be related in one of four ways (a "Two-Set Relationship"):

Select any Three Distinct Ideas and the Applicable Two-Set Relationships

Type in any three different Ideas in the plural form, and the software will calculate all possible Categorical Syllogisms that can be generated from those three Ideas.

E.g., enter Idea A: Philosophers; Idea B: Men; Idea C: Mortal Beings; A-B Relationship: POL; A-C Relationship: Subset; B-C Relationship: Subset.

Display Selected Ideas A, B, and C and the applicable Two-Set Relationships A-B, A-C, and B-C

Display all possible Valid Categorical Syllogisms for these three Ideas

Notes:
1. Note that in Classical Logic, the word "some" means "some or maybe all." This can be confusing at first, but many of the "valid" Categorical Syllogisms work only if "some" means "some or maybe all."
2. The names at the left of each syllogism are the names given to such syllogisms in the study of Classical Logic in medieval times. They serve as a mnemonic device. E.g., the three vowels refer to the A, E, I, and O structure of the propositions.
3. A future release will allow the user to input either singular or plural versions of words.
4. In an actual Knowledge Representation Structure, the Two-Set Relationships would already be stored in the database, so the user would not need to enter them here. For demonstration purposes, we have the user enter the set relationships in this program.