El ejercicio 5 de la guia dice:" para las siguientes proposiciones se pude negarlas y simplificarlas", no entiendo a que se refiere con negarlas, simplificarlas supongo que tengo que ir usando propiedades hasta reducir al maximo la proposicion. Pero nose que tengo que hacer cuando pide negarlas.

Y otra duda que tengo es que en el ejercicio 6 me da una proposicion en un enunciado y me pide escribirla simbolicamente y dar valor de verdad, que significa dar valor de verdad? Tampoco se como hacer eso de dar valor de verdad.
Gracias.

Negarlas y simplificarlas es poner todo entre paréntesis y ponerle un - delante y ahí empezar a resolver, por ejemplo:

p^(qvr)

Se hace así:
-[p^(qvr)]
-p v -(qvr)
-p v -q ^ -r


Lo del valor de verdad es poner verdadero o falso, supongo que te está pidiendo hacer la tablita.

(11-04-2011 14:29)Anirus escribió:  Negarlas y simplificarlas es poner todo entre paréntesis y ponerle un - delante y ahí empezar a resolver, por ejemplo:

p^(qvr)

Se hace así:
-[p^(qvr)]
-p v -(qvr)
-p v -q ^ -r


Lo del valor de verdad es poner verdadero o falso, supongo que te está pidiendo hacer la tablita.

Apostaba todo a que era asi, pero no me queria arriesgar y despues andar borrando todo. Lo de dar el valor entonces es hacer la tabla y listo?

Me suena que sí, copia sino el ejercicio, presté la guía(por un año xD). Que yo recuerde los primeros ejercicios eran de negar y simplificar, después habían de hacer tablas de verdad y en otros te pedía determinar la validez (tautología, contradicción, contingencia...)