bicondizionale

agg. [bi-+condizionale]. In logica matematica, connettivo del calcolo degli enunciati, il cui simbolo è dato in genere da una doppia freccia che può essere resa graficamente in vari modi: ⇄, ⇔ oppure con ≡ oppure con ~; in tutti i casi A↔B si legge: “A se e solo se B”. La connessione A↔B è valida quando sia A sia B sono o entrambi veri o entrambi falsi ed è falsa negli altri casi. Il bicondizionale è equivalente a “Se A allora B e se B allora A”. Un esempio di uso del bicondizionale si ha nel seguente teorema di geometria euclidea: “Dato un triangolo, due suoi lati sono uguali ⇔ due suoi angoli sono uguali”. Ciò significa: “Dato un triangolo, se due suoi lati sono uguali, allora due suoi angoli sono uguali; inoltre, se due suoi angoli sono uguali, allora due suoi lati sono uguali”. Questo connettivo è anche chiamato equivalenza.