A la proposición que resulta de unir dos proposiciones por medio del conectivo bicondicional (<math>\Leftrightarrow</math>), la llamaremos proposición bicondicional.
<br />
Recordemos que p <math>\Leftrightarrow</math> q significa ( p <math>\Rightarrow</math> q ) <math> \and </math> ( q <math>\Rightarrow</math>p )
Si p y q tienen el mismo valor de verdad, entonces p <math>\Leftrightarrow</math> q es verdadera.
<br />
Y si p y q tienen valor de verdad opuestos, entonces p <math>\Leftrightarrow</math> q es falsa.
La proposición<math>\forall \,</math> x, p(x) <math>\Leftrightarrow</math> q(x) es verdadera si y solo si P ⊂ Q y Q ⊂ P
