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:

    “I find it profoundly symbolic that I am appearing before a committee of fifteen men who will report to a legislative body of one hundred men because of a decision handed down by a court comprised of nine men—on an issue that affects millions of women.... I have the feeling that if men could get pregnant, we wouldn’t be struggling for this legislation. If men could get pregnant, maternity benefits would be as sacrosanct as the G.I. Bill.”
    —Letty Cottin Pogrebin (20th century)

    “Though living is a dreadful thing
    And a dreadful thing is it
    Life the niggard will not thank,
    She will not teach who will not sing,
    And what serves, on the final bank,
    Our logic and our wit?”
    —Philip Larkin (1922–1986)