Biconditional introduction: Difference between revisions

Revision as of 06:21, 2 May 2002

Revision as of 12:47, 15 January 2003

Line 1:

'''Biconditional introduction''' is the inference that, if B follows from A, and A follows from B, then A [[if and only if]] B.

For example: if I'm breathing, then I'm alive; also, if I'm alive, then I'm breathing. Therefore, I'm breathing if and only if I'm alive.

Line 8:

<u>( B &rarr; A )&nbsp;&nbsp;</u>

&there4; ( A &harr; B )