Tarea 1- Métodos Para Probar la Validez de Argumentos

María Victoria Díaz Díaz

Número de grupo: 244

Universidad Nacional Abierta y a Distancia- UNAD

Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios-ECACEN
Pensamiento Lógico y Matemático
Dra. Lady Diana Castañeda Trujillo
Junio 2022
 Ejercicio 2- Identificación de las Reglas de la Inferencia Lógica

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas

leyes de inferencia.

D.

 Expresión simbólica

p→t
¬t
¬p

 Ley de inferencia de la expresión: Modens Tollendo Tollens (MTT)

 Proposiciones simples:

p: Lina perdió el curso de Cátedra Unadista

t: Lina sacó 200 puntos

 Lenguaje Natural:

Si Lina perdió el curso de Cátedra Unadista entonces Lina sacó 200 puntos. Lina

no sacó 200 puntos. Por lo tanto, Lina no perdió el curso de cátedra Unadista.

 Expresión simbólica

rvt
¬t
r

 Ley de Inferencia de la expresión: Silogismo Disyuntivo (SD)

 Proposiciones simples:

r: La UNAD es una universidad incluyente

t: La UNAD brinda programas como Generación E

 Lenguaje Natural:

La UNAD es una universidad incluyente o la UNAD brinda programas como

Generación E. La UNAD no brinda programas como Generación E, Por lo tanto,

la UNAD es una universidad incluyente.

 Expresión simbólica:

q ꓥ ¬s

¬s

 Ley de Inferencia de la Expresión: Simplificación (SIM)

 Proposiciones simples:

q: Victoria aprobó todas algunas materias del primer semestre

s: Victoria será promovida al segundo semestre

 Lenguaje Natural:

Victoria aprobó algunas materias del primer semestre y Victoria no será

promovida al segundo semestre. Entonces, Victoria no será promovida al

segundo semestre.