18/01/2020, 01:23:55 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Prueba deductiva y inferencia lógica  (Leído 872 veces)
0 Usuarios y 1 Visitante están viendo este tema.
albertopaezr
Visitante
« : 18/10/2017, 19:32:28 pm »

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.

[texx](p\vee\sim{q})\Rightarrow{}(\sim{t}\Rightarrow{p}) \equiv{} (\sim{p}\Rightarrow{q})\vee(\sim{t}\Rightarrow{q})[/texx]

Utilizando el de la izquierda

                   [texx]\equiv{} \sim{(p\vee\sim{q})}\vee(\sim{\sim{t}}\vee p) \textrm{Condicional}
[/texx]
[texx]\equiv{}\sim{(p\vee\sim{q})}\vee(t\vee p)      \textrm{ Doble negación}
[/texx]
[texx]\equiv{}(\sim{p}\wedge q)\vee(t\vee p)[/texx]  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]
[texx].∼(∼t⇒∼s)[/texx]


Le agradecería mucho a quien pueda ayudarme en eso.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!