Rincón Matemático

Matemática => Lógica, Conjuntos, Lenguajes Formales => Lógica => Mensaje iniciado por: albertopaezr en 19 Octubre, 2017, 12:32 am

Título: Prueba deductiva y inferencia lógica
Publicado por: albertopaezr en 19 Octubre, 2017, 12:32 am
Hola que tal, de nuevo yo con un usuario por un error del admin mario, ahora vengo a pedirlos la ayuda con 2 ejercicios que no he podido resolver, sin más nada que decir ahí les va y espero y me puedan ayudar.

Yo lo he trabajado de esta manera, pero ya de ahí no me llega nada que hacer.

\( (p\vee\sim{q})\Rightarrow{}(\sim{t}\Rightarrow{p}) \equiv{} (\sim{p}\Rightarrow{q})\vee(\sim{t}\Rightarrow{q}) \)

Utilizando el de la izquierda

                   \( \equiv{} \sim{(p\vee\sim{q})}\vee(\sim{\sim{t}}\vee p) \textrm{Condicional}
 \)
\( \equiv{}\sim{(p\vee\sim{q})}\vee(t\vee p)      \textrm{ Doble negación}
 \)
\( \equiv{}(\sim{p}\wedge q)\vee(t\vee p) \)  LD MORGAN

Luego de ahí asocié y distribuí, pero no logro llegar al ejercicio cómo tal, si alguien me pudiera ayudar se lo agradecería mucho.


El otro se trata de una inferencia la cual probé por medio de método de reducción a lo absurdo y el método por caso, pero no logré dar con el si me ayudan también se los agradecería mucho.

Acá el ejercicio:
1.[texx]q\Rightarrow{} p [/texx]
2.[texx]{\sim{r}}[/texx]
3.[texx]{\sim{(s\Rightarrow{t})}}\Rightarrow{}{\sim{p}}[/texx]
4.[texx]∼r⇒q[/texx]
\( .∼(∼t⇒∼s) \)


Le agradecería mucho a quien pueda ayudarme en eso.