Categorical Statements
Rules for Relationships
Relationships
Further Immediate Inferences
Truth Values
100

The general form for the four categorical propositions 

What is 

All S is P

No S is P

Some S is P

Some S is not P

100

Opposite Truth Values

What is Contradiction

100

The relationship between A & O statements

What is Contradiction

100

subject and predicate terms are interchanged

What is conversion?

100

If A is true, then O must be _?_

What is False

200

Universal Affirmative Proposition

What is A

or

What is All S are P

200

Both cannot be false, but both can be true.

What is Subcontrary

200

The relationship between O & E

What is subalternate?

200

Quality is reversed and predicate is replaced with its complement.

What is obversion

200

If I is false, then O must be _?_

What is true

300

Universal Negative Proposition

What is E

or 

What is No S are P.

300

Both cannot be true, but both can be false

What is Contrary

300

The relationship between E & A

What is Contrary

300

subject is replaced with complement of the predicate and predicate is replaced with complement of the subject

What is contraposition

300

If O is true, then E must be _?_

What is uncertain

400

Particular Negative proposition

What is O 

or

What is Some S are not P.

400

The rule for truth in subalternation

What is truth sinks

400

The relationship between I & O

What is Subcontrary

400

This type of immediate inference is valid for all types of propositions.

What is obversion?

400

If I is false, then A must be _?_

What is False

500

Particular Affirmative Proposition

What is I

or 

What is Some S are P.

500

The rule for falsity in subalternation

What is falsity floats

500

The relationship between A & I

What is Subalternate

500

How are the two propositions below related?

All chocolate bars are popular treats.

No chocolate bars are non-popular treats.

What is obversion

500

If E is true, then O must be _?_

What is True

M
e
n
u