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:“Iconic clothing has been secularized.... A guardsman in a dress uniform is ostensibly an icon of aggression; his coat is red as the blood he hopes to shed. Seen on a coat-hanger, with no man inside it, the uniform loses all its blustering significance and, to the innocent eye seduced by decorative colour and tactile braid, it is as abstract in symbolic information as a parasol to an Eskimo. It becomes simply magnificent.” “Logic is not a body of doctrine, but a mirror-image of the world. Logic is transcendental.” |