Logic 9 Flashcards
Figure 1
Major Premise: M is P
Minor Premise: S is M
Figure 2
Major Premise: P is M
Minor Premise: S is M
Figure 3
Major Premise: M is P
Minor Premise: M is S
Figure 4
Major Premise: P is M
Minor Premise: M is S
Immediate Inference
A statement that can be inferred directly from another statement.
Converse
A statement that reverses the subject and predicate. It is only valid for E and I statments.
Obverse
A statement of the opposite quality with a negated predicate. it is valid for all statements.
Complement
The set of all terms not included in the given term.
Contrapositive
a statement that reverses and negates both the subject and predicate of the orignial. It is valid for A and O.
Valid
A syllogism is valid if and only if the premises imply the conclusion.
Sound Syllogism
A sound syllogism is valid and has true premises.
Counter-example
A counterexample to a syllogism is a syllogism of the same form as the original, but with obviously true premises and an obviously false conclusion, in order to show the original to be invalid.
Distributed Term
A distributed term is a term that, within a statement, refers to all members of its category.