Open main menu

Page:Carroll - Game of Logic.djvu/97

This page has been validated.
§ 7.
81
BOTH DIAGRAMS EMPLOYED.
  1. 0     0
      0 1  
      0  
    1    
    0 1
    1

    Let "food" be Universe; = "sweet"; = "sugar"; = "salt".

    All are ;
    All are .
    All are .
    All are .
    i.e. Sugar is not salt.
    Salt is not sugar.
  2.    
      1 0  
      0  
       
    1

    Let "Things" be Universe; = "eggs"; = "hard-boiled"; = "crackable".

    Some are ;
    No are .
    ∴ Some are .

    i.e. Some hard-boiled things can be cracked.

[See p. 53]