Logic Chapter 4

A proposition that relates two classes (or categories)

(1) An "if . . . then' statement(2) a statement having a horseshoe as its main operator

Valid from the Aristotelian standpoint on condition that the subject term of the premise (or premises) denotes actually existing things

The relation that exists between statements that necessarily have opposite truth values

Statements that necessarily have opposite truth values

An operation that consists in switching the subject and predicate terms in a standard-form categorical proposition and replacing each with its term complement

The relation that exists between two statements that are necessarily not both true

In standard-form categorical propositions, the words "are' and "are not

A categorical proposition having the form "No S are P'

A categorical proposition having the form "Some S are P'

A formal fallacy that occurs when the conclusion of an argument depends on the contraposition of an E or I statement

A formal fallacy that occurs when the conclusion of an argument depends on an incorrect application of the contrary relation

A formal fallacy that occurs when the conclusion of an argument depends on the conversion of an A or O statement

A formal fallacy that occurs when the conclusion of an argument depends on an incorrect application of the subalternation relation

A formal fallacy that occurs when the conclusion of an argument depends on an incorrect application of the subcontrary relation

An argument having a single premise

A condition that exists when a certain statement is not necessarily either true or false, given the truth value of some related statement

A diagram that illustrates the necessary relations that prevail between the four kinds of standard-form categorical propositions as interpreted from the Boolean standpoint

A statement that denies class membership

A categorical proposition having the form "Some S are not P'

A phrase that, when introduced into a statement, affects the form but not the meaning

A statement that makes a claim about one or more (but not all) members of a class

In a standard-form categorical proposition, the term that comes immediately after the copula

The attribute of a categorical proposition by which it is either affirmative or negative

The attribute of a categorical proposition by which it is either universal or particular