Biconditional introduction: Difference between revisions

Revision as of 02:06, 10 June 2008

Revision as of 14:46, 16 July 2008

Line 3:

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 schemascheme

:<math> A \to B \, </math>

:<math> \underline{B \to A} </math>