Question

A continuación, encontrará proposiciones compuestas en lenguaje simbólico
(argumento) para el desarrollo del ejercicio 3:
A. [(p⟶q)∧(∼p⟶r)]⟶(∼r⟶p)

Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo manual).
 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o contingencia

Answer 1

Respuesta:

Definiendo las proposiciones simples que indican el desarrollo del argumento lógico que describe: A. [(p⟶q)∧(∼p⟶r)]⟶(∼r⟶p)

• p= Si estudio
• q = Paso
• r= Repruebo.

De modo que la aseveración traducida al lenguaje natural desde el lenguaje simbólico es: Si estudio entonces paso y si no estudio repruebo, por lo tanto, si no repruebo entonces estudio.

La tabla de la verdad la adjunto en la parte inferior.

Como podemos ver la preposición siempre es verdadera por lo tanto es una tautología.