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 )

<< Previous

Word Browser

Next >>

barnard college
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 elimination
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