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:

    “An ancient bridge, and a more ancient tower,
    A farmhouse that is sheltered by its wall,
    An acre of stony ground,
    Where the symbolic rose can break in flower,
    Old ragged elms, old thorns innumerable....”
    —William Butler Yeats (1865–1939)

    “...some sort of false logic has crept into our schools, for the people whom I have seen doing housework or cooking know nothing of botany or chemistry, and the people who know botany and chemistry do not cook or sweep. The conclusion seems to be, if one knows chemistry she must not cook or do housework.”
    —Ellen Henrietta Swallow Richards (1842–1911)