SW StudyWalks

Logic  /  Logic 066  ·  Atom · ~20 seconds

Categorical Statements

Video not yet published
to the StudyWalks catalog
State

A categorical statement relates two classes, asserting that one is included in or excluded from the other, in whole or in part.

Show

"All senators are citizens" — whole inclusion of one class in another.

Watch for

Two classes per statement, always. That constraint is what makes the system testable.