The term being described, or about which something is asserted.
What is the subject?
Two statements are said to be in this if and only if they always have opposite truth values.
What is in Contradiction?
A set of statements, one of which appears to be implied or supported by the others.
What is an argument?
A number from 1 to 4 identifying the placement of the syllogism's middle term
What is figure?
A syllogism of the same form as the primal, but with obviously true premises and an obviously false conclusion, in order to show the original is invalid.
What is counterexample?
The term that describes or asserts nothing about the subject.
What is the predicate.
Statements that can both be false but cannot both be true.
What are contrary statements?
The statement(s) in an argument which support or imply the conclusion
What is a premise?
A 3-letter description of the types of categorical statements a syllogism contains when arranged in standard order; e.g. AEO.
What is mood?
A term that, within a statement, refers to all members of its category.
What is a distributed term?
The one basic verb in Categorical Logic.
What is the being verb?
Statements where both can be true but both cannot be false.
What are subcontraries or subcontrary statements?
The statement in an argument which is supported or implied by the premise(s); the endpoint or terminus of the argument.
What is (the) conclusion?
A representation of a syllogism with statements in standard order and standard abbreviations of the terms; e.g. All M are P; All S are M; \ All S are P.
What is schema?
A statement that can be inferred directly from another statement.
What is an immediate inference?
A diagram of the basic relationships between categorical statements with the same subject and predicate.
What is the square of opposition?
The relationship between a universal and particular statement of the same quality, in which the truth of the universal necessitates the truth of the particular.
What is subimplication?
A particular form for organizing categorical statements into an argument; OR a deductive argument with 2 premises and 1 conclusion.
What is a syllogism?
a syllogism which is valid AND has true premises
What is a sound syllogism?
A statement that reverses the subject and predicate. It is only valid for E and I statements.
What is the converse (of a statement)?
A statement that affirms or denies something about a given subject.
What is a categorical statement?
The relationship between a universal and particular statement of the same quality, in which the falsity of the particular necessitates the falsity of the universal.
What is superimplication?
A deductive argument consisting of 3 statements in categorical form that use only 3 terms ~ major, minor and middle (3-2-1: 3 terms, 2 premises, 1 conclusion).
What is a categorical syllogism?
A syllogism where the premises imply the conclusion.
What is a valid syllogism?
A statement of the opposite quality with a negated predicate. It is valid for all statements.
What is the obverse (of a statement)?