·
·
·
¡Hola Oscar!
Recuerdo que esto venía de una pregunta anterior donde habíamos dicho
Las proposiciones simples son:
p = Alguien envió un paquete a mi casa
q = El mensajero se equivoco
r = la dirección de la guía está errada
Las premisas en lenguaje simbólico son
1) p v q
2) q => r
3) ¬r
Y la conclusión es
p
·
Vamos a suponer que no se cumple p, es decir p es falso
Si q fuera verdadero tendríamos en 2)
q => r
pero por 3) ¬r es verdadero, luego r es falso y 2) nos dice
verdadero => falso
Como la operación implica tiene valor falso si es
verdadero => falso
No se cumpliría 2), para que 2 sea verdadera debe cumplirse
¬q
Ya que entonces tendremos
falso => falso
Cuyo resultado es verdadero.
Pero entonces llegamos a 1) y tenemos
p v q
falso v falso = falso
Luego no se cumple 1) y eso es absurdo ya que debería ser verdadero.
Y eso es todo, a lo mejor no es la notación y lógica que usáis peor es lo que yo se hacer, espero que te sirva y lo hayas entendido.
Saludos.
·
·