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.” “What avail all your scholarly accomplishments and learning, compared with wisdom and manhood? To omit his other behavior, see what a work this comparatively unread and unlettered man wrote within six weeks. Where is our professor of belles-lettres, or of logic and rhetoric, who can write so well?” | ||