Bicondicional

 El día 21 de junio vimos el tema de bicondicionales

Una bicondicional es una proposición lógica que establece una relación de doble implicación entre dos proposiciones. También se conoce como "si y solo si" o "si, y solo si". En una bicondicional, tanto el antecedente como el consecuente deben ser verdaderos o falsos al mismo tiempo para que la proposición bicondicional sea verdadera. 

La bicondicional se denota utilizando el símbolo "↔" (doble flecha) o mediante la expresión "si y solo si".Por ejemplo, si tenemos las proposiciones P: "Es lunes" y Q: "Tengo clases", la bicondicional se expresaría como "P ↔ Q" o "P si y solo si Q". Esto significa que "Es lunes si y solo si tengo clases".

Para negar una bicondicional se expresa de la siguiente forma:

⁓(p ↔ q) = (p ∧ ⁓q) ∨ (q ∧ ⁓p)

Ejemplo:

A Carlos le gusta comer y le gusta ver peliculas ≡ A Carlos le gusta comer y no le gusta ver peliculas, o le gusta ver peliculas y no le gusta comer.