UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO

TAREA 1 – METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

TUTOR
CAROLINA CASTAÑO GUTIERREZ

ESTUDIANTE
ANGIE MICHEL REAL MONROY
ID: 1003661264

CHIA, CUNDINAMARCA
10 MAYO 2021
 ACTIVIDADES A DESARROLLAR

EJERCICIO 4: PROBLEMAS DE APLICACIÓN

C. Expresión simbólica: [(𝒑⟶𝒒)∧(𝒒⟶𝒓)∧( ¬ 𝒓)]⟶( ¬ 𝒑)

Premisas:

P1: (𝒑⟶𝒒)

P2: (𝒒⟶𝒓)

P3:( ¬ 𝒓)

Conclusión: ( ¬ 𝒑)

PROPOSICIONES SIMPLES

P: Michel es aplicada en sus tareas

q: Michel aprueba pensamiento lógico y matemático.

r: Michel pasara al próximo semestre

LENGUAJE NATURAL

Si Michel es aplicada en sus tareas ENTONCES Michel aprueba pensamiento lógico y matemático, Y
Michel aprueba pensamiento lógico ENTONCES Michel pasara al próximo semestre o si Michel no
pasara el semestre ENTONCES Michel NO es aplicada en sus tareas.

TABLA DE VERDAD

P Q R (𝒑⟶𝒒) (𝒒⟶𝒓) ( ¬ 𝒓) ( ¬ 𝒑) [(𝒑⟶𝒒)∧(𝒒⟶𝒓)∧( ¬ 𝒓)]⟶( ¬ 𝒑)

V V V V V F F V
V V F V F V F V
V F V F V F F V
V F F F V V F V
F V V V V F V V
F V F V F V V V
F F V V V F V V
F F F V V V V V
SIMULADOR UNAD

DEMOSTRACION DE LA VALIDEZ DEL ARGUMENTO MEDIANTE LAS LEYES DE LA INFERENCIA

LOGICA

modus tollendo ponens (TP)