Ejercicio 1: Conceptualización de las reglas de inferencia

LOGICA MATEMATICA

Es un lenguaje matemático que abarca las herramientas necesarias por medio de las
cuales se puede afirmar o negar un razonamiento matemático.

Es bien conocido queEste

en concepto
matemáticas no hay ambigüedades.
estudia:
Dado un argumento matemático, este es válido o simplemente
no lo es. No puede ser falso y verdadero al mismo tiempo.

Tablas de verdad
Proposiciones
Otro concepto importante en lógica es el de tablas de verdad. Los
La lógica matemática inicia con el estudio
valores de verdad de una proposición son las dos posibilidades que
de las proposiciones. Una proposición es
se tiene para una proposición: verdadera (que se denotará por V y
una afirmación que sin ningún tipo de
se dirá que su valor de verdad es V) o falsa (que se denotará por F
ambigüedad se puede decir si es
y se dirá que su valor de verdad es F).
verdadera o no.

LEYES DE INFERENCIA

Son aquellas que demuestran las condiciones y premisas con casos

reales:

MODUS TOLLENDO TELLENS (TT)

DOBLE NEGACION (DN)
MODUS PONENDO PONENS (PP)
“Tollendo tellens” significa “negando,
⌐p(⌐p)↔p
P→Q “Si llueve, entonces las calles se niego” y se refiere a una propiedad inversa
mojan” de los condicionales, a los que nos El esquema representa, “p doblemente
referimos en primer lugar. negada equivale a p”. Siguiendo el
P “Llueve”
esquema de una inferencia por pasos;
p→q “Si llueve, entonces las calles se
la representaríamos asì:
mojan”
⌐(⌐) “No ocurre que Ana no es una
⌐q “Las calles no se mojan”
estudiante”

RAZONAMIENTO LOGICO

Un razonamiento lógico, en definitiva, es un proceso mental que implica la aplicación de la lógica.

A partir de esta clase de razonamiento, se puede partir de una o de varias premisas para arribar a
una conclusión que puede determinarse como verdadera, falsa o posible.

El razonamiento lógico se puede iniciar a partir de una observación (es decir, una experiencia) o
de una hipótesis. El proceso mental de análisis puede desarrollarse de distintas maneras y
convertirse en un razonamiento inductivo, un razonamiento deductivo, etc. Según la clase de
razonamiento empleada, la conclusión tendrá mayor o menor posibilidad de resultar válida.

Referencias Bibliográficas

• Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse - Grupo Editorial Patria. (pp. 29-38)

• Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp. 163-166)

• 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)