Categorical Statement Types

Quality:

Affirmative

Negative

Quantity:

Universal (all)

Universal (all)

Subject term:

Distributed (all)

Distributed (all)

Copula:

is, are, was, were, will be

is not, are not, was not, were not, will not be

Predicate term:

Undistributed

Distributed (all)

Formulae:

All S is P
S is P

No S is P (preferred)
All S are not P

A

E

I

O

Quality:

Affirmative

Negative

Quantity:

Particular (some)

Particular (some)

Subject term:

Undistributed

Undistributed

Copula:

is, are, was, were, will be

is not, are not, was not, were not, will not be

Predicate term:

Undistributed

Distributed (all)

Formulae:

Some S is P

Some S is not P

Type 

Samples

A

All cows eat grass
Cows eat grass

E

No cow is a dog
All cows are not dogs

I

Some cows are ugly

O

Some cows are not brown