PROBLEMAS DE APLICACIÓN

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento

para el desarrollo del ejercicio 4:

B. Expresión simbólica:

[(p v q) ∧ (p →r) ∧ ∼q ] → r

Premisas:

P1: p v q

P2: p →r

P3: ∼q

Conclusión: r

Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en
un contexto, el que se solicita es un contexto académico, ejemplo:

p: María estudia contaduría

q: estudia lógica matemática

r: entrega sus trabajos a tiempo

∼q: no estudia lógica matemática

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

[(p v q) ∧ (p →r) ∧ ∼q] → r

María estudia contaduría o estudia lógica matemática y si maría estudia contaduría entonces
entrega sus trabajos a tiempo y no estudia lógica matemática. Por lo tanto, entrega sus trabajos a
tiempo

Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).

∼
  p q r q (p v q) (p →r) (p v q) ∧ (p →r) [(p v q) ∧ (p →r) ∧ ∼q ] [(p v q) ∧ (p →r) ∧ ∼q ] → r
1 V V V F V V V F V
2 V V F F V F F F V
3 V F V V V V V V V
4 V F F V V F F F V
5 F V V F V V V F V
6 F V F F V V V F V
7 F F V V F V F F V
8 F F F V F V F F V
Conclusión: TAUTOLOGIA
Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso del
simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el entorno de
aprendizaje en la carpeta Guía de actividades y rúbrica de 15 evaluación - Unidad 1- Tarea 1 -
Métodos para probar la validez de argumentos.

Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Premisas:

p1: p v q

p2: p →r

p3: ∼q

Conclusión: r

p4: Tollendo ponens