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:“Play permits the child to resolve in symbolic form unsolved problems of the past and to cope directly or symbolically with present concerns. It is also his most significant tool for preparing himself for the future and its tasks.” “We want in every man a long logic; we cannot pardon the absence of it, but it must not be spoken. Logic is the procession or proportionate unfolding of the intuition; but its virtue is as silent method; the moment it would appear as propositions and have a separate value, it is worthless.” | ||