Symbolic Logic

Name: Symbolic Logic
Author: Carroll, Lewis
Carroll, Lewis
Logic, Symbolic and mathematical
| |   |   |   |   |                   | |   |   |   |   | |
    | |---|---|---|(.)| ·-----------------· |---|---|---|---| |
    | |   |   |   |   | | No y'm' exist     |   |   |   |   | |
    | |   ·---|---·   | |  = No y' are m'   |   ·---|---·   | |
    | |       |       | |  = No m' are y'   |       |    ( )| |
    | ·---------------· |                   ·---------------· |
    ·---------------------------------------------------------·
                                                                   pg048
                             TABLE VII.

    ·---------------------------------------------------------·
    | ·---------------·                   | ·---------------· |
    | |( )    |    ( )|  All x are m      | |      (.)      | |
    | |   ·---|---·   |                   | |   ·---|---·   | |
    | |   |  (.)  |   |                   | |   |( )|( )|   | |
    | |---|---|---|---| ·-----------------· |---|---|---|---| |
    | |   |   |   |   | |                   |   |   |   |   | |
    | |   ·---|---·   | |     All x are m'  |   ·---|---·   | |
    | |       |       | |                   |       |       | |
    | ·---------------· |                   ·---------------· |
    |---------------------------------------------------------|
    | ·---------------·                   | ·---------------· |
    | |       |       |  All x' are m     | |       |       | |
    | |   ·---|---·   |                   | |   ·---|---·   | |
    | |   |   |   |   |                   | |   |   |   |   | |
    | |---|---|---|---| ·-----------------· |---|---|---|---| |
    | |   |  (.)  |   | |                   |   |( )|( )|   | |
    | |   ·---|---·   | |    All x' are m'  |   ·---|---·   | |
    | |( )    |    ( )| |                   |      (.)      | |
    | ·---------------· |                   ·---------------· |
    |---------------------------------------------------------|
    | ·---------------·                   | ·---------------· |
    | |       |       |  All m are x      | |       |       | |
    | |   ·---|---·   |                   | |   ·---|---·   | |
    | |   |  (.)  |   |                   | |   |( )|( )|   | |
    | |---|---|---|---| ·-----------------· |---|---|---|---| |
    | |   |( )|( )|   | |                   |   |  (.)  |   | |
    | |   ·---|---·   | |     All m are x'  |   ·---|---·   | |
    | |       |       | |                   |       |       | |
    | ·---------------· |                   ·---------------· |
    |---------------------------------------------------------|
    | ·---------------·                   | ·---------------· |
    | |      (.)      |  All m' are x     | |( )    |    ( )| |
    | |   ·---|---·   |                   | |   ·---|---·   | |
    | |   |   |   |   |                   | |   |   |   |   | |
    | |---|---|---|---| ·-----------------· |---|---|---|---| |
    | |   |   |   |   | |                   |   |   |   |   | |
    | |   ·---|---·   | |    All m' are x'  |   ·---|---·   | |
Public-domain text, read in full here on John Shaqi.
Symbolic Logic

No reviews yet
