Día 20. Bicondicional y Negacion de Bicondicional

Una bicondicional se representa por "<--->" y se lee como "si y solo si"
Realizamos varios ejercicios de la pág. 27
Ejemplo: p <---> q = (p ---> q) ^ (q ---> p)
p <---> q
     V
     F
     F
     V

Negación de bicondicional
~(p <---> q) = ~ [(p -->q) ^ (p --> q)]
                     = ~ ( p --> q) v ~ (q --> p)
                     = (p ^ ~ q) v (q ^ ~p)

Como ejemplo realizamos el ejercicio 4 de la página 29.

•  Claudia va a estudiar si y solo si Gina va a la biblio: Claudia va a estudiar y Gina va a la biblio o Gina no va a la biblio y Claudia no va a estudiar.