Blog Estrategias de Resolución Santi

Tema Bicondicional: Bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad  verdadero  cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.