MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

PENSAMIENTO LÓGICO Y MATEMATICO

STEFANY DIAZ SOTO

GRUPO: 200611-67

TUTOR
VICENTE ORTIZ GOMEZ

UNIVERSIDAD NACIONAL Y ABIERTA A DISTANCIA

UNAD
PROGRAMA DE INGENIERIA INDUSTRIAL
BUCARANGA SANTANDER
30/06/2020
EXPRESION SIMBÓLICA:

1. 2. 3.

¬p → q pvq ¬p ^ q
¬p p→r
q q →s ¬p
rvs
1: ley de inferencia: modus ponens

2. ley de inferencia: dilema

3. ley de inferencia: simplificación I

Proposiciones simples

p: Stefany estudia en la UNAD

q: Stefany pertenece al programa ECBTI

r: Stefany estudia ingeniería industrial

s: Stefany matriculo el curso catedra unadista

Lenguaje natural

1. Stefany no estudia en la UNAD entonces Stefany no pertenece al programa ECBTI .Stefany no

estudia en la UNAD. Por lo tanto, Stefany no pertenece al programa ECBIT.

2. Stefany estudia en la UNAD o Stefany pertenece al programa ECBTI. Stefany estudia en la UNAD
entonces Stefany estudia ingeniería industrial. Stefany pertenece al programa ECBTI entonces
Stefany matriculo el curso catedra unadista .por lo tanto, Stefany estudia ingeniería industrial o
Stefany matriculo el curso catedra unadista.

3. Stefany no estudia en la UNAD y Stefany pertenece al programa ECBTI. Por lo tanto, Stefany no
estudia en la UNAD.