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 instincts of merry England lingered on here with exceptional vitality, and the symbolic customs which tradition has attached to each season of the year were yet a reality on Egdon. Indeed, the impulses of all such outlandish hamlets are pagan still: in these spots homage to nature, self-adoration, frantic gaieties, fragments of Teutonic rites to divinities whose names are forgotten, seem in some way or other to have survived mediaeval doctrine.” “You can no more bridle passions with logic than you can justify them in the law courts. Passions are facts and not dogmas.” | ||