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, “Though living is a dreadful thing |