Bicondizionale
Enciclopedia on line
In logica matematica, la connessione p ↔ q di due enunciati p e q, che è vera se e solo se essi sono entrambi veri o entrambi falsi.
© Istituto della Enciclopedia Italiana fondata da Giovanni Treccani - Riproduzione riservata