Ejercicio 4: Problemas de aplicación

Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo del ejercicio 4:
D. Expresión simbólica:
[ (p→∼q)∧ (∼q→r)∧(∼r) ]→(∼p∧∼r)
P1: (p→∼q)
P2: (∼q→r)
P3: ~r

Conclusión: (∼p∧∼r)

p: Los seres vivos son tremendamente diversos

q: Los seres vivos tienen otras características diferenciadoras que les

permiten adaptarse a diversos entornos

r: Los seres vivos compiten con otros seres vivos por el acceso a los

recursos necesarios para continuar viviendo

 Conclusión: (∼p∧∼r)

Si Los seres vivos son tremendamente diversos, entonces los seres vivos no tienen otras características

diferenciadoras que les

permiten adaptarse a diversos entornos. Los seres vivos no tienen otras características diferenciadoras que les

permiten adaptarse a diversos entornos

Tabla de verdad manual: podemos deducir que es una tautología

p q R ∼p ∼q ∼r p→∼ ∼q→ ∼p∧∼r [ (p→∼q)∧ (∼q→r) [ (p→∼q)∧ [ (p→∼q)∧

q r (∼q→r)∧(∼r) ] (∼q→r)∧(∼r) ]→(∼p∧∼r)
V V V F F F F V F F F V
V V F F F V F V F F F V
V F V F V F V V F V F V
V F F F V V V F F F F V
F V V V F F V V F V F V
F V F V F V V V V V V V
F F V V V F V V F V F V
F F F V V V V F v F F V
Ley de inferencia de la expresión: Tautologia

Tabla de verdad simulador UNAD.

Demostración de la validez del argumento mediante las Leyes de Inferencia:

P1: (p→∼q)

P2: (∼q→r)
P3: ~r

P4:

p→∼q

∼q

∼p Modus Tollendo Ponens entre P1 y P2

P5:

∼q →r

∼q Modus Tollendo Ponens entre P2 y P4

⌐r