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 act of bellringing is symbolic of all proselytizing religions. It implies the pointless interference with the quiet of other people.” “There is no morality by instinct.... There is no social salvation—in the end—without taking thought; without mastery of logic and application of logic to human experience.” | ||