Logical Biconditional - Rules of Inference - Biconditional Introduction

Biconditional Introduction

Biconditional introduction allows you to infer that, if B follows from A, and A follows from B, then A if and only if B.

For example, from the statements "if I'm breathing, then I'm alive" and "if I'm alive, then I'm breathing", it can be inferred that "I'm breathing if and only if I'm alive".

B → A A → B ∴ A ↔ B

Read more about this topic:  Logical Biconditional, Rules of Inference

Other articles related to "biconditional introduction":

Biconditional Introduction - Formal Notation
... 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 man’s 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 (1817–1862)