Biconditional introduction allows you to infer that, if B follows from A, and A follows from B, then A if and only if B.
Other articles related to "biconditional introduction":
... The biconditional introduction rule may be written in sequent notation where is a metalogical symbol meaning that is a syntactic consequence when and are both in a proof ...
Famous quotes containing the word introduction:
“Such is oftenest the young mans introduction to the forest, and the most original part of himself. He goes thither at first as a hunter and fisher, until at last, if he has the seeds of a better life in him, he distinguishes his proper objects, as a poet or naturalist it may be, and leaves the gun and fish-pole behind. The mass of men are still and always young in this respect.”
—Henry David Thoreau (18171862)