Proposition Generator for Classical Logic

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

Select any Two Distinct Ideas and the Applicable Two-Set Relationship

Type in any two different Ideas in the plural form, and the software will calculate all possible true/false Propositions that can be generated from those two Ideas.

E.g., enter Idea A: Dogs, Idea B: Cats; A-B Relationship: Disjoint.

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

Display all possible Propositions for these two 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 Proposition are the names given to such form of Proposition in the study of Classical Logic, i.e., A, E, I, and O.
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 Relationship would already be stored in the database, so the user would not need to enter it here. For demonstration purposes, we have the user enter the set relationship into the program.
5. Propositions use Ideas that describe "Objects" as opposed to "Attributes." Therefore, to use an Attribute like "red," we convert it to an Object: "red things." Then, we can say, for example, "Some red things are apples."