Biconditional introduction
prints friendly
Biconditional introduction
please note:
- the text and code below is from The Pseudopedia
- it has been imported raw for GetWiki
In
mathematical logic,
biconditional introduction is the
rule of inference that, if B follows from A, and A follows from B, then A
if and only if B.For example, from the statements "if I'm breathing, then I'm alive" and "if I'm alive, then I'm breathing", it can be inferred that "I'm breathing if and only if I'm alive".Formally, biconditional introduction is the rule schema
See also
{{logic-stub}}
Dukondiĉa enkonduko
- content above as imported from The Pseudopedia
- "Biconditional introduction" does not exist on GetWiki
- time: 3:22am EDT - Sat, Mar 20 2010
