Tengo una duda sobre un Ejercicio de lógica matemática
Me pueden ayudar con este ejercicio:
Planteamiento y resolución (utilizando las operaciones necesarias de las tablas de verdad ) y la aplicabilidad de las leyes de inferencia lógica de uno de los problemas
Un grupo de estudiantes de Licenciatura en Pedagogía Infantil de la UNAD han iniciado un trabajo de campo con algunos niños de un Jardín Infantil, para generar estrategias en cuanto al proceso del aprendizaje de lectura, siendo muy importante la edad cronológica en los niños para el fortalecimiento de dicho proceso de aprendizaje. Ruth es la docente que lidera el trabajo de campo de los estudiantes y les comenta lo siguiente: “si Teresa tiene cuatro años de edad, entonces Teresa posee los mismos años de vida que Juliana. Si Jacinto tiene una edad diferente que Teresa, entonces Jacinto posee una edad diferente que Juliana. Teresa tiene cuatro años y Jacinto tiene la misma edad que Juliana. Por consiguiente, Jacinto posee la misma edad que Teresa y Teresa la misma edad que Juliana”. Por favor determinar si el razonamiento hecho por Ruth es válido, según el proceso de demostración por medio de tablas de verdad y del uso de las leyes de inferencia.
Demostrar por:
- Leyes de inferencia
- Tablas de verdad
- Simulador TRUTH
- Clasificación (Tautologia, contradicción, etc.)
1 respuesta
·
·
¡Hola Jhon!
Las proposiciones simples son:
p =Teresa tiene cuatro años de edad
q = Teresa tiene la edad de Juliana.
r = Jacinto tiene la edad de Teresa
s = Jacinto tiene la edad de Juliana
Teresa tiene cuatro años y Jacinto tiene la misma edad que Juliana. Por consiguiente, Jacinto posee la misma edad que Teresa y Teresa la misma edad que Juliana”
1) p-->q
2) ~r --> ~s
3) p ^ s
Conclusión:
r ^ q
En 3 se cumple p^s luego se cumple p y entonces por modus ponens en 1 se cumple q
En 3 también se cumple s y entonce por modus tollens en 2 tendremos que se cumple r
Luego se cumple q ^ s, está bien.
En la tabla de verdad hay que demostrar:
[(p-->q) ^(~r --> ~s) ^ (p^s) ] ==> (r ^ q)
Luego es una tautología, el razonamiento está bien.
En TRUTH hay que escribir esto:
[(p>q) & (~r > ~s) & (p&s) ] > (r & q)
Y eso es todo, saludos.
:
:
