Biconditional elimination
prints friendly
Biconditional elimination
please note:
- the text and code below is from The Pseudopedia
- it has been imported raw for GetWiki
Biconditional elimination allows one to infer a
conditional from a biconditional: if ( A ↔ B ) is true, then one may infer either direction of the biconditional, ( A → B ) and ( B → A ).For example, if it's true that I'm breathing
if and only if I'm alive, then it's true that if I'm breathing, I'm alive; likewise, it's true that if I'm alive, I'm breathing.Formally:
( A ↔ B )
∴ ( A → B )
also
( A ↔ B )
∴ ( B → A )
See also
{{logic-stub}}
- content above as imported from The Pseudopedia
- "Biconditional elimination" does not exist on GetWiki
- time: 4:10pm EDT - Fri, Mar 19 2010