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