Transposition (logic)
In symbolic logic, transposition is the rule of inference that permits one to infer from the truth of "A implies B" the truth of "Not-B implies not-A", and conversely. Its symbolic expression is:
Related Topics:
Symbolic logic - Rule of inference
~ ~ ~ ~ ~ ~ ~ ~ ~ ~
:(P ⊃ Q) ↔ (~Q ⊃ ~P)
~ ~ ~ ~ ~ ~ ~ ~ ~ ~
The "⊃" is the symbol for material implication and the doubleheaded arrow "↔" indicates a biconditional relationship. The symbol "~" indicates negation.
Related Topics:
Material implication - Biconditional - Negation
~ ~ ~ ~ ~ ~ ~ ~ ~ ~
~ Table of Content ~
| ► | Introduction |
| ► | Form of Transposition |
| ► | Traditional logic |
| ► | See also |
~ What's Hot ~
The Hangover, The Mummy 4 Rise Of The Aztec, The Boondock Saints Ii All Saints Day, The Prince Of Persia The Sands Of Time, New Moon, The Blind Side, Dear John, Terminator 5, Twilight, The Princess And The Frog, Avatar, Alvin And The Chipmunks The Squeakquel, Clash Of The Titans, The Time Traveler S Wife, My Sister S Keeper, The Goods Live Hard Sell Hard, Hannah Montana The Movie, 500 Days Of Summer, Iron Man 2, Orphan,
~ Community ~
| ► | History Forum Come and discuss about History, Civilizations, Historical Events and Figures |
| ► | History Web-Ring A community of sites, blogs and forums dedicated to History. Do not hesitate to submit your site. |
and are licensed under the GNU Free Documentation License.
Lexicon - Privacy Policy - Spiritus-Temporis.com ©2005.