Conditional Proof - Symbolic Logic

Symbolic Logic

As an example of a conditional proof in symbolic logic, suppose we want to prove A → C (if A, then C) from the first two premises below:

1. A → B ("If A, then B")
2. B → C ("If B, then C")

Read more about this topic:  Conditional Proof

Famous quotes containing the words symbolic and/or logic:

    “Play permits the child to resolve in symbolic form unsolved problems of the past and to cope directly or symbolically with present concerns. It is also his most significant tool for preparing himself for the future and its tasks.”
    —Bruno Bettelheim (20th century)

    “The much vaunted male logic isn’t logical, because they display prejudices—against half the human race—that are considered prejudices according to any dictionary definition.”
    —Eva Figes (b. 1932)