Está en la página 1de 6

LOGICA MATEMATICA

COLABORATIVO 2

ESTUDIANTES:
YESICA CAROLINA LOPEZ
COD: 1118540430
MANGLARE LOBATON
COD: 98061508171
BAYRON ANDRES RIUZ AGUILERA
COD: 1116550408
MARITZA CHAVITA
COD:

CURSO: 90004_643

DOCENTE:
ING. JUAN PABLO RODRIGUEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA (ECBTI)
CEAD YOPAL 2016-05-05

REGLAS DE INFERENCIA

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


declaraciones establecidas.
Especialmente en lgica matemtica, una regla de inferencia es un esquema
para construir inferencias vlidas. Estos esquemas establecen relaciones
sintcticas entre un conjunto de frmulas llamados premisas y una asercin
llamada conclusin.
Una inferencia puede ser: Inductiva, deductiva, transductiva y
abductiva.
INDUCTIVA
Ejemplo si durante la primera semana el maestro llega 10 minutos tarde,
podemos concluir que todo el semestre va a llegar tarde. Esta conclusin no
necesariamente es vlida porque puede ser que el maestro algn da llegue
temprano. En general una inferencia inductiva es la que se desprende de una o
varias observaciones y en general no podemos estar seguros de que ser
verdadero lo que concluimos.
En este caso podemos mencionar el ejemplo el mentiroso: Un joven le dice a
un amigo, t todos los das dices mentiras, y l contesta, no es cierto, ayer en
todo el da no dije una sola mentira.
Resumiendo, la inferencia inductiva es la ley general que se obtiene de la
observacin de uno o ms casos y no se puede asegurar que la conclusin sea
verdadera en general.
DEDUCTIVA
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 da de hoy que
est lloviendo hay nubes. Tambin se conoce como inferencia deductiva

cuando tenemos un caso que analiza todos los posibles resultados y de


acuerdo a las premisas slo hay una posible situacin, en este caso decimos
que la situacin nica es la conclusin. Es este caso estamos seguros de que si
las premisas son verdaderas entonces la conclusin tambin 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 vlida. La inferencia deductiva es la nica
aceptada como vlida en matemticas y computacin para hacer
comprobaciones y sacar conclusiones.
TRANSDUCTIVA
Con el mismo caso del maestro que llega tarde durante los primeros das y
concluimos que el lunes siguiente tambin llegar tarde. O del amigo que
varias veces nos ha mentido y concluimos que lo que nos dice en ese momento
es mentira.
El anterior sera de particular a particular, un caso de general a general es por
ejemplo de un compaero maestro que la primera vez que imparti
matemticas 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 conclusin es verdadera.
Abductiva es semejante a la deductiva, tambin 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 transductivo no es una forma vlida de obtener
conclusiones en matemticas o en lgica y es necesario conocer ms
informacin para poder verificar la validez.

PRINCIPALES REGLAS DE INFERENCIA


SD Silogismo Disyuntivo
AB
A
----B
LS Ley de simplificacin
AB
----A
LA Ley de adicin
A

----AB
La comprobacin de las reglas anteriores es directa y basta hacer una frmula
con la conjuncin de las premisas condicional la conclusin y probar que es una
tautologa, por ejemplo haciendo una tabla y obtener todos los valores
verdaderos

SIMPLIFICACIN
Simplificacin (S): obviamente, es la operacin inversa. Si disponemos de un
enunciado formado por dos miembros unidos por una conjuncin, podemos
hacer de los dos miembros dos enunciados afirmados por separado.
p q Tengo una manzana y tengo una pera
p Tengo una manzana
q Tengo una pera

LEY DE LA ADICIN

Dado un enunciado cualquiera, es posible expresarlo como una eleccin


(disyuncin) acompaado por cualquier otro enunciado.
a He comprado manzanas
a V b He comprado manzanas o he comprado peras

SILOGISMO DISYUNTIVO

Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyuncin


cuyos miembros sean los antecedentes de los condicionales, podemos concluir
en una nueva premisa en forma de disyuncin, cuyos miembros seran los
consecuentes de las dos implicaciones. Lgicamente, si planteamos una
eleccin entre dos causas, podemos plantear una eleccin igualmente entre
sus dos posibles efectos, que es el sentido de esta regla.
p q Si llueve, entonces las calles se mojan
r s Si la tierra tiembla, los edificios se caen

p V r Llueve o la tierra tiembla


q V s Las calles se mojan o los edificios se caen

Notacin formal
La regla de silogismo disyuntivo puede escribirse en la notacin subsiguiente:

Donde

es un smbolo meta lgico que significa que

sintctica de

,y

es una consecuencia

en algn sistema lgico;

Y expresado como una tautologa verdad-funcional o teorema de la lgica


proposicional:

Donde

son proposiciones expresadas en algn sistema formal.

Ejemplos de lenguaje natural


He aqu un ejemplo:
Yo o elegir sopa o elegir ensalada.
No voy a elegir sopa.
Por lo tanto, voy a elegir ensalada.
He aqu otro ejemplo:
Es de color rojo o azul.
No es azul.
Por lo tanto, es de color rojo.

Bibliografa:
http://lgicaepn.blogspot.com.co/2011/12/reglas-de-inferencia.html
https://es.wikipedia.org/wiki/Modus_tollendo_ponens