Anónimo
Demuestre, lógica proposicional
Dado los siguientes axiomas demuestre por el método de resolución por refutación: ~t (~ = negación)
t => (u v p)
u => (q v r)
p => (q v s)
r => ( (q ^ s) => ~r)
No he podido dar con la solución!
Gracias por la ayuda
t => (u v p)
u => (q v r)
p => (q v s)
r => ( (q ^ s) => ~r)
No he podido dar con la solución!
Gracias por la ayuda
1 Respuesta
Respuesta de eudemo
1
t => (u v p)
2) u => (q v r)
3) p => (q v s)
4) r => ( (q ^ s) => ~r)
¿Lo qué se pide demostrar
partiendo de (1) (2) y (3)?
Por ejemplo fueran
Verdaderas y (4) resultaría falsa.
En efecto:
^ verdad) => ~verdad)
Falso
Y la (4) falsa entonces por supuesto que no es posible demostrar (4) a partir de (1) (2) y (3).
2) u => (q v r)
3) p => (q v s)
4) r => ( (q ^ s) => ~r)
¿Lo qué se pide demostrar
partiendo de (1) (2) y (3)?
Por ejemplo fueran
Verdaderas y (4) resultaría falsa.
En efecto:
^ verdad) => ~verdad)
Falso
Y la (4) falsa entonces por supuesto que no es posible demostrar (4) a partir de (1) (2) y (3).