Drag each concept to its corresponding definition.

a. Equivalent Claims, b. Predicate Term, c. Subject Term, d. Categorical term, e. Standard-Form Categorical claim, e. Venn Diagram, f. Categorical logic

1. A system of logic based on the relations of inclusion and exclusion among classes ("categories")

2. Any standard-form categorical claim or any claim that means the same as some standard-form categorical claim

3. Any claim that results from putting words or phrases that name classes in the blanks of one of the following structures: "All S are P"; "No S are P"; "Some S are P"; and "Some S are not P."

4. The noun or noun phrase that refers to the first class mentioned in a standard-form categorical claim

5. The noun or noun phrase that refers to the second class mentioned in a standard-form categorical claim

6. A graphic means of representing a categorical claim or categorical syllogism by assigning classes to overlapping circles

7. Two claims are equivalent if and only if they would be true in all and exactly the same circumstances