Biconditional introduction: Difference between revisions

Revision as of 20:06, 12 March 2005

Revision as of 22:22, 28 September 2006

Line 1:

{{Wikify|September 2006}}

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

Line 5 ⟶ 7:

Formally:

( A →→ B )

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

&there4;∴ ( A &harr;↔ B )

[[Category:Logic]]