## You are here

Homebiconditional

## Primary tabs

# biconditional

# 1 Biconditional

A *biconditional* is a truth function that is true only in the case that both parameters are true or both are false.

Symbolically, the biconditional is written as

$a\Leftrightarrow b$ |

or

$a\leftrightarrow b$ |

with the latter being rare outside of formal logic. The truth table for the biconditional is

a | b | $a\Leftrightarrow b$ |
---|---|---|

F | F | T |

F | T | F |

T | F | F |

T | T | T |

It gets its name from the fact that it is really two conditionals in conjunction,

$(a\rightarrow b)\land(b\rightarrow a)$ |

This fact is important to recognize when writing a mathematical proof, as both conditionals must be proven independently.

# 2 Colloquial Usage

The only unambiguous way of stating a biconditional in plain English is of the form “$b$ if $a$ and $a$ if $b$.” Slightly more formal, one would say “$b$ implies $a$ and $a$ implies $b$.” The plain English “if” may sometimes be used as a biconditional. One must weigh context heavily.

For example, “I’ll buy you an ice cream if you pass the exam” is meant as a biconditional, since the speaker doesn’t intend a valid outcome to be buying the ice cream whether or not you pass the exam (as in a conditional). However, “it is cloudy if it is raining” is *not* meant as a biconditional, since it can obviously be cloudy while not raining.

## Mathematics Subject Classification

03-00*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

## Comments

## if and only if

I would suggest adding "if and only if" to the "Other Names" section.