Symbolic Logic

Name: Symbolic Logic
Author: Carroll, Lewis

Carroll, Lewis

Logic, Symbolic and mathematical

·-------------------------------------------------------------·
    |                  | ·-------· |                  | ·-------· |
    | Some xy exist    | |(.)|   | |                  | |(.)|( )| |
    |  = Some x are y  | |---|---| |  All x are y     | |---|---| |
    |  = Some y are x  | |   |   | |                  | |   |   | |
    |                  | ·-------· |                  | ·-------· |
    |------------------|-----------|------------------|-----------|
    |                  | ·-------· |                  | ·-------· |
    | Some xy' exist   | |   |(.)| |                  | |( )|(.)| |
    |  = Some x are y' | |---|---| |  All x are y'    | |---|---| |
    |  = Some y' are x | |   |   | |                  | |   |   | |
    |                  | ·-------· |                  | ·-------· |
    |------------------|-----------|------------------|-----------|
    |                  | ·-------· |                  | ·-------· |
    | Some x'y exist   | |   |   | |                  | |   |   | |
    |  = Some x' are y | |---|---| |  All x' are y    | |---|---| |
    |  = Some y are x' | |(.)|   | |                  | |(.)|( )| |
    |                  | ·-------· |                  | ·-------· |
    |------------------|-----------|------------------|-----------|
    |                  | ·-------· |                  | ·-------· |
    | Some x'y' exist  | |   |   | |                  | |   |   | |
    |  = Some x' are y'| |---|---| |  All x' are y'   | |---|---| |
    |  = Some y' are x'| |   |(.)| |                  | |( )|(.)| |
    |                  | ·-------· |                  | ·-------· |
    ·-------------------------------------------------------------·

Public-domain text, read in full here on John Shaqi.

Reviews

No reviews yet

Be the first to share your thoughts on this work.

Join the Discussion

Join the discussion

Sign in to leave a comment or review.

Sign InorCreate an account