Encyclopedia > Biconditional elimination

  Article Content

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, either ( A B ) or ( B A ).

For example, if it's true that I'm breathing if and only if I'm alive, then it's true that if I'm breathing, I'm alive; likewise, it's true that if I'm alive, I'm breathing.

Formally:

  ( A ↔ B )  
  ∴ ( A → B )

also

  ( A ↔ B )  
  ∴ ( B → A )



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

... -72.908727)1. According to the United States Census Bureau, the village has a total area of 1.1 km² (0.4 mi²). 1.1 km² (0.4 mi²) of it is land ...

 
 
 
This page was created in 27.4 ms