Page:Carroll - Game of Logic.djvu/95

22. 0
    		—
    	0	0
    0

    0

    Let "creatures" be Universe; $m$ = "teetotalers"; $x$ = "that like sugar"; $y$ = "nightingales".

    All $m$ are $x$; No $y$ are $m^{\prime }$.

    $\scriptstyle {\left.{\begin{matrix}\ \\\ \end{matrix}}\right\}\,}$

    ∴ No $y$ are $m^{\prime }$.

    i.e. No nightingales dislike sugar.

23. 1	0	0
    	0

    Let "food" be Universe; $m$ = "wholesome"; $x$ = "muffins"; $y$ = "buns".

    No $x$ are $m$; All $y$ are $m$.

    $\scriptstyle {\left.{\begin{matrix}\ \\\ \end{matrix}}\right\}\,}$

    There is 'no information' for the smaller Diagram; so no Conclusion can be drawn.

[See p. 53]