En lógica de enunciados, el bicondicional, cuyo signo es: [math]\leftrightarrow{}[/math] y que se lee «si, y sólo si»
Se lee, "P si, y sólo si, Q"
Su tabla de verdad es:
«P si y sólo si Q es verdadero cuando P y Q son ambos verdaderos o ambos falsos; en los demás casos, es falso».
Si p = eres feliz» y q = «amas», el enunciado «eres feliz si y sólo si amas», o «eres feliz siempre y cuando ames» es verdad cuando «eres feliz y amas» y cuando «ni eres feliz ni amas», pero es falso si es verdad una de ambas cosas y no la otra.