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