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 menon an issue that affects millions of women.... I have the feeling that if men could get pregnant, we wouldnt be struggling for this legislation. If men could get pregnant, maternity benefits would be as sacrosanct as the G.I. Bill.” “Our argument ... will result, not upon logic by itselfthough without logic we should never have got to this pointbut upon the fortunate contingent fact that people who would take this logically possible view, after they had really imagined themselves in the other mans position, are extremely rare.” |