bicondizionale

In ambito logico-matematico, si definisce bicondizionale una relazione tra due enunciati che risulta vera solamente quando entrambi i membri dell’affermazione hanno lo stesso valore di verità, ovvero se entrambi sono veri o entrambi sono falsi.