Biconditional

Some articles on biconditional:

Logical Biconditional - Colloquial Usage
... One unambiguous way of stating a biconditional in plain English is of the form "b if a and a if b" ... The plain English "if'" may sometimes be used as a biconditional ... you a new wallet if you need one" may be meant as a biconditional, since the speaker doesn't intend a valid outcome to be buying the wallet whether or not the wallet is ...
Biconditional Introduction
... In propositional logic, biconditional introduction is a valid rule of inference ... It allows for one to infer a biconditional from two conditional statements ... The rule makes it possible to introduce a biconditional statement into a logical proof ...
Logical Biconditional - Rules of Inference - Biconditional Elimination
... Biconditional elimination allows one to infer a conditional from a biconditional if ( A B ) is true, then one may infer one direction of the biconditional, ( A B ) and ( B A ) ...