Encyclopedia > Biconditional introduction

Article Content

Biconditional introduction

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.

Formally:

  ( A → B )
  ( B → A )  
  ∴ ( A ↔ B )

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia

Search over one million articles, find something about almost anything!

Featured Article

Northwest Harbor, New York

... Latino of any race. There are 1,181 households out of which 33.8% have children under the age of 18 living with them, 55.2% are married couples living together, 9.2% have ...