1
El valor de verdad de un bicondicional «p si y solo si q» es verdadero cuando ambas proposiciones (p y q) tienen el mismo valor de verdad
2
En una proposición cuya conectiva lógica principal es el condicional,
3
típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
4
es un operador, que actúa sobre dos valores de verdad
5
es una conectiva lógica que invierte el valor de verdad de la expresión a la que se aplica.
