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 )

<< Previous

Word Browser

Next >>

benedictine
beyazid i
beyazid ii
boxing
bollywood
bowls
barcelonnette
believers baptism
bah' faith
bubble sort
bavarii

burgundians
dots and boxes
big brother (1984)
bergen
bab
binary search
belle & sebastian
birth control
broadcast domain
big ben
beechcraft

battle of peleliu
battle of stalingrad
bodhidharma
biconditional introduction
base pair
baltimore ravens
british national party
batavii
baptism
bocce
beatmatching

baptism for the dead
beltane
boston, massachusetts
babylon
bethlehem
benjamin
black sabbath
buffalo bills
big dig
books of chronicles
binary search tree