TAREA 1 -PENSAMIENTO LOGICO Y MATEMATICO

MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

PRESENTADO POR:
CLAUDIA MARTÍNEZ RODRÍGUEZ
1023833165
200611_1140

PRESENTADO A:
JUAN DAVID LACHARME

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

VICERRECTORÍA ACADÉMICA Y DE INVESTIGACIÓN
CURSO: PENSAMIENTO LÓGICO Y MATEMÁTICO
CÓDIGO: 200611

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.
 o Expresión simbólica

o Ley de inferencia de la expresión

Modus Ponendo Ponens (MPP)

o Proposiciones simples

r: Mery celebra su aniversario

s: Mery tendrá una fiesta
Conclusión: Mery tendrá una fiesta

o Lenguaje Natural:

SI Mery celebra su aniversario ENTONCES Mery tendrá una fiesta. Mery celebra su aniversario.
POR LO TANTO, Mery tendrá una fiesta.
o Expresión simbólica

o Ley de inferencia de la expresión

Ley De Adjunción

o Proposiciones simples

p: El universo está constituido por átomos

q: Los átomos tienen electrones

o Lenguaje Natural:

El universo está constituido por átomos Y los átomos tiene electrones.

o Expresión simbólica
 o Ley de inferencia de la expresión

Modus Tollendo Tones (MTT)

o Proposiciones simples

p: Daniela presto atención en su clase de música

q: Daniela aprende de los profesores de música
q: Daniela no aprende en sus clases de música
Conclusión: Daniela no presto atención en sus clases de música

o Lenguaje Natural:

SI Daniela presto atención en su clase de música ENTONCES Daniela aprende de los

profesores de música. Daniela no aprende en sus clases de música. POR LO TANTO,
Daniela no presto atención en sus clases de música.

REFERENCIAS BIBLIOGRÁFICAS

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). México,

D.F, Larousse - Grupo Editorial Patria.

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba, AR:
El Cid Editor. (pp. 40-49).