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
Jamesport, New York

... 605 households, and 434 families residing in the town. The population density is 133.3/km² (345.1/mi²). There are 959 housing units at an average density of ...

 
 
 
This page was created in 34.6 ms