UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Escuela Ciencias Básicas, Tecnología e Ingeniería

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LÓGICA MATEMÁTICA

TAREA 1: APLICACIÓN DE LAS LEYES DE INFERENCIA.

PRESENTADO POR:

GRUPO: 90004_334

VALLEDUPAR - CESA
MAYO 24 DEL 2016
 INTRODUCCIÓN

La inferencia es la forma en la que obtenemos conclusiones en base a datos y

declaraciones establecidas.

En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema

para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre
un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.

Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.

DEDUCTIVA (de lo general a lo particular)

Cuando se conoce una ley general y se aplica a un caso particular, por ejemplo se sabe
que siempre que llueve hay nubes, concluimos que el día de hoy que está lloviendo hay
nubes. También se conoce como inferencia deductiva cuando tenemos un caso que
analiza todos los posibles resultados y de acuerdo a las premisas sólo hay una posible
situación, en este caso decimos que la situación única es la conclusión. Es este caso
estamos seguros de que si las premisas son verdaderas entonces la conclusión también lo
es.

En este caso se encuentran MPP: Modus PonendoPonens y MTT: Modus

TollendoTollens que de acuerdo a la tabla de verdad de la condicional son dos formas de
establecer una inferencia válida. La inferencia deductiva es la única aceptada como válida
en matemáticas y computación para hacer comprobaciones y sacar conclusiones.

TRANSDUCTIVA (de particular a particular o de general a general) con el mismo caso

del maestro que llega tarde durante los primeros días y concluimos que el lunes siguiente
también llegará tarde. O del amigo que varias veces nos ha mentido y concluimos que lo
que nos dice es ese momento es mentira.

El anterior sería de particular a particular, un caso de general a general es por ejemplo de

un compañero maestro que la primera vez que impartió matemáticas discretas observó
que todos los alumnos estudiaban, concluyó que para el siguiente semestre todos los
alumnos iban a estudiar.

Este es un caso donde como en el caso inductivo, no podemos estar seguros de que la
conclusión es verdadera.

2
ABDUCTIVA. Es semejante a la deductiva, también utiliza la estrategia de analizar
todas las posibilidades, pero en este caso hay varios casos que se pueden presentar, como
por ejemplo si se sabe que siempre que llueve hay nubes y se sabe que hay nubes se
puede concluir que llueve, pero no se tiene la certeza, al igual que el caso inductivo y
transductor no es una forma válida de obtener conclusiones en matemáticas o en lógica y
es necesario conocer más información para poder verificar la validez.

OBJETIVO GENERAL
Aprender y diferenciar las reglas de inferencia lógica, para poderlas aplicar en la solución
de problemas propuestos.

OBJETIVOS ESPECÍFICOS

 Entender las reglas de la inferencia lógica

 Comprender la aplicación de las reglas de inferencia lógica para la demostración

de soluciones.

 Aplicar las leyes de la inferencia lógica para relacionarlas con casos de la vida
real.

 Analizar las premisas que integran un problema, para diseñar la estrategia de

solución, aplicando las reglas de inferencia para llegar a la demostración
solicitada.

 Aplicar las proposiciones en el trabajo de las reglas de inferencia lógica.

CONTENIDO

3
 MODUS PONENDO PONENS

p → q “Si llueve, entonces las calles se mojan” (premisa)

p “Llueve” (premisa)

q “Luego, las calles se mojan” (conclusión)

El condicional o implicación es aquella operación que establece entre dos enunciados una
relación de causa-efecto. La regla ‘ponendo ponens’ significa, “afirmando afirmo” y en
un condicional establece, que si el antecedente (primer término, en este caso p) se afirma,
necesariamente se afirma el consecuente (segundo término, en este caso q).

MODUS TOLLENDO TOLLENS

‘Tollendo tollens’ significa “negando, niego”, y se refiere a una propiedad inversa de los
condicionales, a los que nos referíamos en primer lugar.

p → q “Si llueve, entonces las calles se mojan” 

¬q “Las calles no se mojan” 

¬p “Luego, no llueve”

Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos
conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no
ha podido darse.

Esto nos permite formular una regla combinada de las ambas anteriores, consecuencia
ambas de una misma propiedad de la implicación; la regla ponendo ponens sólo nos
permite afirmar si está afirmado el antecedente (el primer término de la implicación), y la
regla tollendo tollens sólo nos permite negar a partir del consecuente (segundo término de
la implicación); ambas consecuencias se derivan de que la implicación es una flecha que
apunta en un único sentido, lo que hace que sólo se pueda afirmar a partir del antecedente
y negar sólo a partir del consecuente.

4
 SILOGISMO HIPOTÉTICO

Dados dos implicaciones, de las cuales, el antecedente de la una sea el consecuente de la

otra (el mismo enunciado), podemos construir una nueva implicación y el antecedente sea
el de aquella implicación, la consecuencia sea el antecedente de la otra implicación, y el
consecuente sea el de ésta última, cuyo antecedente era consecuencia del primero.

Expresado de otro modo, si una causa se sigue una consecuencia, y ésta consecuencia es
a su vez causa de una segunda consecuencia, se puede decir que esa primera causa es
causa de esa segunda consecuencia, del mismo modo que, si una bola de billar roja
golpea a otra bola blanca que a su vez golpea a una bola negra, la bola roja es causa del
movimiento de la bola negra. Expresado en forma de inferencia lógica:

p → q “Si la bola roja golpea a la bola blanca, la bola blanca se mueve”

q → r “Si la bola blanca golpea a la bola negra, la bola negra se mueve”

p → r “Si la bola roja golpea a la bola blanca, la bola negra se mueve”

Si no me despierto, entonces no voy a ir a trabajar.

Si no voy a trabajar, entonces no me pagan mi sueldo.

Por lo tanto, si no me despierto, entonces no me van a pagar mi sueldo.

5
 EJEMPLOS

MODUS PONENDO PONENS:

Ejemplo 1
He ido al sine o me he ido de compras p v q
No he ido de compras ¬q
Por lo tanto, he ido al cine p

Pvq
¬q
__________
p

Ejemplo 2

Si estudio mucho, entonces pasare el examen….Premisa 1

Estudio mucho…………………………premisa 2
Pasare el examen………………………conclusión
A→B p1
A p2
________________
B conclusión

MODUS TOLLENDO TOLLENS:

Ejemplo 1

Si llovió entonces hubo nubes………premisa 1 A→B p1

No hubo nubes……………………premisa 2 ⌐B p2
No llovió………………………….conclusión ___________________
⌐A conclusión

6
Ejemplo 2
Si llueve voy al
No fui al cine [(p → q) ^ ¬ q] → ¬ p
Por lo tanto no llovió

SILOGISMO HIPOTÉTICO:

Ejemplo 1

Si no me despierto, no puedo ir a la fiesta P→Q

Si no voy a la fiesta, no me divertiré Q→R

Entonces, si no me despierto no me divertiré entonces P → R

Ejemplo 2

Si voy a la universidad entonces asisto a clase

Si asisto a clase entonces entiendo los temas
Si voy a la universidad entonces entiendo los temas
A= voy a la universidad B= asisto a clases C= entiendo los temas
A→B p1
B→C p2
A→C conclusión

7
 CONCLUSIÓN

Podemos concluir esta primera parte diciendo que las leyes de inferencias y la lógica
proposicional son una de las piezas fundamentales de la Inteligencia Artificial, ya que
para realizar los cambios necesarios para la evolución de esta ciencia, se precisa de un
lenguaje formal para representar los hechos que se reciben del mundo real y el uso de las
proposiciones. El utilizar proposiciones es una señal que encaja en forma perfecta en este
ámbito. Es un modo sencillo y práctico de resolver un problema, considerando que se
puede resolver disgregando el problema en proposiciones u oraciones sencillas que
permiten analizar los hechos y tomar decisiones, es decir, crear nuevas proposiciones u
oraciones sencillas o compuestas que se incorporan a la base de conocimiento,
permitiendo el incremento y mejora de esta.

Este trabajo nos ha permitido profundizar los conocimientos del uso de la lógica para la
resolución de problemas o la representación de la realidad a nivel de proposiciones.