Page:Carroll - Game of Logic.djvu/29

This page has been validated.

§ 1.]

PROPOSITIONS.

13

Symbols.

Meanings.


1

Some

y

are

x^{\prime }

;
i.e. Some nice are not-new.

0

No

y

are

x

;
i.e. No nice are new.
[Observe that this is merely another way of expressing "No new are nice."]


0

No

y

are

x^{\prime }

;
i.e. No nice are not-new.

1
1

Some

y

are

x

, and some are

x^{\prime }

;
i.e. Some nice are new, and some are not-new.

0
0

No

y

are

x

, and none are

x^{\prime }

; i.e. No

y

exist;
i.e. No Cakes are nice.

1
0

All

y

are

x

;
i.e. All nice are new.

0
1

All

y

are

x^{\prime }

;
i.e. All nice are not-new.