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
Bugatti

... cars are amongst the most sought after in the world by collectors, fetching prices as high as US$10 million. The best-known collectors of Bugatti were Hans and ...

 
 
 
This page was created in 41.5 ms