In <a href="/enciclopedia/logica-matematica">logica matematica</a>, la connessione p ↔ q di due enunciati p e q, che è vera se e solo se essi sono entrambi veri o entrambi falsi.

<table class="sinottico" style="" summary="Tabella sinottica che riassume i principali dati del soggetto"></table>

bicondizionale in logica, altra denominazione del connettivo di → doppia implicazione.

Bicondizionale