Question

{(⟶)∧(⟶p)}⟶( ⟶)

•Definir si el argumento seleccionado inicialmente es una tautología, contradicción o contingencia.

•Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

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.