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

1 respuesta

Respuesta
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).

Añade tu respuesta

Haz clic para o

Más respuestas relacionadas