Proceso operativo con la tabla de verdad y de la aplicabilidad de las leyes de inferencia de la resolución y demostración

Me pueden ayudar con este ejercicio por favor:

Proceso operativo a través de la tabla de verdad y de la aplicabilidad de las leyes de inferencia de la resolución y demostración de la validez del enunciado problémico tipo argumento con el respectivo pantallaso como evidencia de la comprobación a través del simulador TRUTH

Problema:

En un colegio de la ciudad se está buscando brindar un premio al estudiante con el mejor promedio académico; para lo cual se quiere exonerar a dicho estudiante de los exámenes finales. Es así que en la reunión académica se hace el siguiente análisis: “Si Jaime posee un promedio más alto que Pablo, entonces Martha posee un promedio más bajo que Aura. Martha no tiene un nivel académico más bajo que Aura. Si Jaime y Lina tienen el mismo promedio, entonces Jaime está con un promedio más alto que Pablo. Por consiguiente Jaime y Lina no tienen el mismo promedio”. Con el uso de las dos maneras de la tabla de verdad y con el uso de las leyes de inferencia comprobar la validez del razonamiento hecho.

  • Leyes de inferencia
  • Tablas de verdad
  • Simulador TRUTH
  • Clasificación (Tautologia, contingencia... Etc)

1 respuesta

Respuesta
1

·

·

¡Hola Jhon!

Las proposiciones simples son.

p = Jaime posee un promedio más alto que Pablo

q = Martha posee un promedio más bajo que Aura.

r = Jaime y Lina tienen el mismo promedio

Y las premisas que nos dan son:

1) p --> q

2) ~q

3) r --> p

Y la conclusión es

~r

Es verdadera ya que de 1 y 2 se deduce por modus tollens ~p. Y de esto y 3 se deduce por modus tollens ~r

·

En la tabla de verdad hay que comprobar esta proposición

[(p -->q) ^ (~q) ^ (r-->p)] --> ~r

·

Es una tautología.

Con TRUTH tables hay que escribir:

[(p>q) & (~q) & (r>p)] > ~r

Y eso es todo, sa lu dos.

:

:

Añade tu respuesta

Haz clic para o

Más respuestas relacionadas