Inferencia Lgica

MTE. Celso Javier Rodriguez Pizza

Tutora 5

martes, 7 de mayo de 13

Introduccin
Para definir las inferencias lgicas es necesario
precisar algunos conceptos tales como
razonamiento y demostracin.

Razonamiento es el proceso que se realiza
para obtener una demostracin.

Demostracin es el encadenamiento de
proposiciones que permiten obtener otra
proposicin, llamada conclusin, a partir de ciertas
proposiciones iniciales supuestas como verdaderas,
que reciben el nombre de premisas.

martes, 7 de mayo de 13

Inferencias lgicas
Las inferencias lgicas son las conclusiones
que se pueden obtener despus de realizar
un razonamiento, este razonamiento
solamente es verdadero si se cumplen las
siguientes condiciones:
1.
Las premisas deben ser verdaderas.
2.
Durante el proceso de deduccin las
premisas deben relacionarse sujetas a las
leyes de la lgica.

martes, 7 de mayo de 13

...Inferencias lgicas
As, el conocimiento obtenido de
proposiciones verdaderas preestablecidas
(premisas), y aplicando las leyes de la lgica a
esas premisas, se denomina conclusin.

martes, 7 de mayo de 13

...Inferencias lgicas
As, el conocimiento obtenido de
proposiciones verdaderas preestablecidas
(premisas), y aplicando las leyes de la lgica a
esas premisas, se denomina conclusin.

martes, 7 de mayo de 13

...Inferencias lgicas

martes, 7 de mayo de 13

Modus Ponendo Ponens (PP)

martes, 7 de mayo de 13

Modus Ponendo Ponens (PP)

martes, 7 de mayo de 13

Modus Ponendo Ponens (PP)

Modus Ponendo Ponens (afirmando afirmamos), tambin llamado modus ponens y
generalmente abreviado MPP o MP, es una
regla de inferencia que tiene la siguiente
forma:

Nota: Para esta regla siempre se da la

primera proposicin.
martes, 7 de mayo de 13

Modus Ponendo Ponens (PP)

Por ejemplo, un razonamiento que sigue la

forma del Modus Ponendo Ponens podra
ser:
Si est soleado, entonces es de da.
Se da que, est soleado.
Por lo tanto, es de da.

martes, 7 de mayo de 13

Modus Ponendo Ponens (PP)

martes, 7 de mayo de 13

Modus Ponendo Ponens (PP)

martes, 7 de mayo de 13

Modus Ponendo Ponens (PP)

martes, 7 de mayo de 13

Modus Ponendo Ponens (PP)

martes, 7 de mayo de 13

Doble Negacin (DN)

martes, 7 de mayo de 13

Doble Negacin (DN)

martes, 7 de mayo de 13

Doble Negacin (DN)

Dentro de un sistema de lgica clsica, la

doble negacin es, la negacin de la negacin
de una proposicin p.
Expresado simblicamente:
(p)

martes, 7 de mayo de 13

Doble Negacin (DN)

martes, 7 de mayo de 13

Doble Negacin (DN)

martes, 7 de mayo de 13

Modus Tollendo Tollens (TT)

martes, 7 de mayo de 13

Modus Tollendo Tollens (TT)

martes, 7 de mayo de 13

Modus Tollendo Tollens (TT)

Modus Tollendo Tollens (negando - negamos),
tambin llamado Modus Tollens y generalmente
abreviado MTT o MT, es una regla de inferencia
que tiene la siguiente forma:

Nota: Para esta regla siempre

se niega la segunda proposicin.
martes, 7 de mayo de 13

Modus Tollendo Tollens (TT)

Por ejemplo, un razonamiento que sigue la

forma del Modus Tollens podra ser:
Si hay luz solar, entonces es de da.
Se da que, No es de da.
Por lo tanto, no hay luz solar.

martes, 7 de mayo de 13

Modus Tollendo Tollens (TT)

martes, 7 de mayo de 13

Modus Tollendo Tollens (TT)

martes, 7 de mayo de 13

Conjuncin (Conj)

martes, 7 de mayo de 13

Conjuncin (Conj)

martes, 7 de mayo de 13

Conjuncin (Conj)

martes, 7 de mayo de 13

Conjuncin (Conj)

martes, 7 de mayo de 13

Conjuncin (Conj)

martes, 7 de mayo de 13

Simplificacin (Simp)

martes, 7 de mayo de 13

Simplificacin (Simp)

martes, 7 de mayo de 13

Simplificacin (Simp)

martes, 7 de mayo de 13

Reduccin al absurdo o Silogismo Disyuntivo

Modus Tollendus Ponens (TP)

martes, 7 de mayo de 13

Reduccin al absurdo o Silogismo Disyuntivo

Modus Tollendus Ponens (TP)

martes, 7 de mayo de 13

Reduccin al absurdo o Silogismo Disyuntivo

Modus Tollendus Ponens (TP)

martes, 7 de mayo de 13

Reduccin al absurdo o Silogismo Disyuntivo

Modus Tollendus Ponens (TP)

martes, 7 de mayo de 13

Reduccin al absurdo o Silogismo Disyuntivo

Modus Tollendus Ponens (TP)

martes, 7 de mayo de 13

Ley de la Adicin (LA)

martes, 7 de mayo de 13

Ley de la Adicin (LA)

martes, 7 de mayo de 13

Ley de la Adicin (LA)

martes, 7 de mayo de 13

Gracias

martes, 7 de mayo de 13