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:

    “The symbolic view of things is a consequence of long absorption in images. Is sign language the real language of Paradise?”
    —Hugo Ball (1886–1927)

    “seizing the swift logic of a woman,
    Curse God and die.”
    —Edwin Arlington Robinson (1869–1935)