Negación de bicondicional y conjuntos

Para negar una proposición compuesta con conector bicondicional se debe aplicar la siguiente formula:
 ~(P<->q)
~(p->q) v ~(q->p)
(P^~q) v (q^~p)

 Por lo que la respuesta son dos proposiciones en donde niega de primero la proposición  q con conjunción "y"
Luego se escribe "o" la cual une a la siguiente negación de bicondicional e donde se niega la proposición P igualmente con un conector "y"

 Ejemplo
Claudia va a estudiar si h solo si Gina no va a la biblioteca
Negación
Claudia va a estudiar y Gina va a la biblioteca
                        O
Gina no va a la biblioteca y claudia no va a estudiar

En el examen venia negación de condicional y la tuve incorrecta porque hay que recordar que al negar condicional solamente se niega la consecuencia y el conectivo se transforma en conjunción

Se dio una introducción a conjuntos capítulo 3

Se llevó a cabo el laboratorio 5 el cual consistió enjugar UnoStacko

Viernes 3 de julio, 2015