Modo compacto | Modo extendido

0 en 0 posts · 08-05-2011 20:13

Usando la Tautologia $p \vee \neg p$

demostrar que

$p \Rightarrow q \vee \neg (\neg q \wedge p)$

es una Tautologia.

Intente hacerlo pero no llego a que sea una Tautologia. Llego a esto:

(...)

$p \Rightarrow q \vee p \Rightarrow q$

Debo estar resolviendo algo mal...

148 en 90 posts · 08-05-2011 20:49

Ese ejercicio no es una tautologia, esta mal copado

Si q = false y p= true

p → q es falso
¬(¬q ^ p) es falso

disyuncion entre falsos es falso
ya no es tautologia

0 en 0 posts · 09-05-2011 13:34

Tiene razón gonnza:

(p => q) v ¬ (¬q ^ p)
(¬p v q) v (q v ¬p)
(¬p v ¬p) v (q v q)
¬p v q

Y eso no es tautología.

0 en 0 posts · 09-05-2011 23:15

Gracias a todos. En la actual guia de Mat. Discreta, ejercicio 1.4 a) del TP 1 (calculo proposicional y calculo de predicados) dice esto. Si no es una tautologia, es un error de la guia.

0 en 0 posts · 04-09-2011 01:20

Hola, sin dudas debe ser un error de la guía, ya que no es un tautologia. Saludos!

0 en 0 posts · 07-09-2011 19:50

va pero tautologia es cuando toda la fila te da verdadera ,pero como hicieron para simplificar eso?

Modo compacto \| Modo extendido Ejercicio de Logica, Matematica Discreta
Autor	Mensaje