## Biconditional Relation

Definition:

A biconditional relation is a relation between a consequent and a condition. The consequent is true or in force if and only if the condition is true, with the result that there is a conditional relation in both directions between the related propositions.

Examples:

(English)

*If and only if he goes, I go.*

**Note:** This sequence also has the incidental meaning of *If I go, he goes.*

See Also:

Source:

This page is an extract from the LinguaLinks Library. Version 5.0 published on CD-ROM by SIL International, 2003.