¿Problema de deducción en la lógica?

Estaba practicando ejercicios de lógica para mi examen cuando me ha salido este:

¬(p&q) para encontrar: ¬pV¬q

lo he hecho con reduccional absurdo, MP.... TODO! No hay manera ya que llego a la conclusión, pero "hago trampas" porque me dejo alguna disyunción etc. Podríais ayudarme a solucionarlo?

¡Gracias!

Respuesta
1

Imagino que & es la operación lógica "y" que se representa con ^.

La respuesta es

¬PV¬q es verdadero

Ya que

¬(p^q) = ¬pv¬q

Es una de la leyes de Morgan.

Supongo que eso es lo que querías, ya me dirás si no.

Y si ya está bien no olvides puntuar.

Necesito saber el procedimiemto para llegara la conclusión

La demostración se hace por la tabla de la verdad.

P Q ¬P ¬Q P^Q ¬(P^Q) ¬P V ¬Q

1 1 0 0 1 0 0

1 0 0 1 0 1 1

0 1 1 0 0 1 1

0 0 1 1 0 1 1

Luego ¬(P^Q) y ¬PV¬Q son equivalentes.

Y eso es todo.

Añade tu respuesta

Haz clic para o

Más respuestas relacionadas