UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
INFERENCIAS
LÓGICAS Y SU
VALIDEZ
Oscar S. Bernal Carrasco
obernalc@[Link]
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
Curso : LÓGICA
TEMA: Inferencias Lógicas.
Definición, esquema y análisis de la
validez de inferencias
IC: Conoce la estructura de una inferencia o razonamiento
IP: Analiza la validez de una inferencia
IA:Valora la importancia del análisis lógico de las inferencias
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
Contesta las siguientes preguntas:
1. ¿Qué es una inferencia? ¿Cuál es su
estructura?
2. Formaliza las siguientes inferencias
• O vamos al cine o vamos al teatro. No vamos
al teatro. Luego, vamos al cine.
• Si el Sol brilla entonces silba el viento. Si
silba el viento entonces las aves cantan. De
modo que, si el Sol brilla entonces las aves
cantan.
3. Evalúa las fórmulas inferenciales de la pregunta
anterior
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
Concepto de Inferencia
Es una estructura de proposiciones donde a
partir de una o más proposiciones llamadas
premisas (conocimiento inicial), se obtiene
otra proposición final llamada Conclusión
(conocimiento inferido), a través de leyes o
reglas (conocimiento fundamentador o
corroborador)
LÓGICA
•
UNIVERSIDAD DE
Formalmente podemos definirla así:
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
P1, P2, P3 , .... Pn; C
• Donde cada una de las “P” representa a las premisas y
“C” representa a la conclusión.
Ejemplo: Si Carla gana el concurso de baile entonces
obtendrá una beca. Carla ganó el concurso de baile.
Luego Carla obtendrá una beca.
• En cada inferencia, el conjunto de premisas se distingue
de la conclusión por el uso de términos referenciales
como por lo tanto, luego, en consecuencia, etc.
LÓGICA
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
PREMISAS P1: Si Carla gana el concurso de baile entonces
obtendrá una beca.
P2: Carla ganó el concurso de baile.
CONCLUSIÓN
C: Luego Carla obtendrá una beca” .
CLASES.- Las inferencia son de 2 clases:
1. INFERENCIA INMEDIATA.- la inferencia es inmediata cuando de una
sola premisa se obtiene la conclusión. Ejemplo:
P1= tres es mayor que dos C = dos es menor que tres
PREMISA CONCLUSIÓN
LÓGICA
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
2. INFERENCIA MEDIATA.- es cuando la conclusión se
obtiene de dos o más premisas. Ejemplo:
P1 SI EL BARCO NO TRAE PIRATAS, ENTONCES EL
CAPITÁN HA MUERTO O ESTÁ PRISIONERO.
P2 PERO, SI EL BARCO TRAE PIRATAS ENTONCES EL
CAPITÁN NO ESTÁ PRISIONERO.
P3 OCURRE QUE EL CAPITÁN ESTÁ PRISIONERO.
C POR LO TANTO, SI EL CAPITÁN NO HA MUERTO
ENTONCES ESTÁ PRISIONERO
PREMISAS CONCLUSIÓN
LÓGICA
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE FORMALIZACIÓN DE INFERENCIAS
Para formalizar (simbolizar) una inferencia se debe tener
en cuenta los siguientes criterios:
– Se debe distinguir las premisas de la conclusión; por lo
general, la conclusión se halla al final del argumento
antecedido por los términos: luego, por lo tanto, en
conclusión, entonces, en consecuencia, etc.
– Las premisas siempre están separadas por signos de
puntuación y forman el antecedente del argumento, la
conclusión es el consecuente del argumento.
LÓGICA
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
• Las premisas se unen entre sí por la
conjunción (pero, y, “.” “,” etc.)
• Las premisas se unen con la conclusión a
partir del enlace condicional directo o
indirecto.
• Se simbolizan las premisas y la conclusión
respectivamente, considerando los
conectores lógicos y los signos de
agrupación.
LÓGICA
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
Ejemplos 01:
1. Los congresistas representan a la Nación, si
embargo no están sujetos a mandato imperativo.
Luego, los congresistas representan a la Nación.
p: los congresistas representan a la Nación.
q: los congresistas están sujetos a mandato imperativo.
P1: p ~ q
C : p
Fórmula Inferencial : ( p ~ q) → p
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
Ejemplo 02
FILIAL DEL NORTE
Katherine viajará a Italia si y sólo si obtiene la visa . Ocurre que
Katherine obtiene la visa si y sólo si tiene una cuenta corriente en el BCP.
En tal sentido, Katherine viajará a Italia si y sólo si
tiene una cuenta corriente en el BCP.
PREMISAS CONCLUSIÓN
AGRUPANDO OBTENDREMOS: [ ( p q ) ( q r ) ] → ( p r )
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
Ejercicios:
FILIAL DEL NORTE
I. SI EL BARCO NO TRAE PIRATAS, ENTONCES EL CAPITÁN HA MUERTO O ESTÁ
PRISIONERO. PERO, SI EL BARCO TRAE PIRATAS ENTONCES EL CAPITÁN NO
ESTÁ PRISIONERO. OCURRE QUE EL CAPITÁN ESTÁ PRISIONERO. POR LO
TANTO, SI EL CAPITÁN NO HA MUERTO ENTONCES ESTÁ PRISIONERO
1. Variable a cada proposición simple
El barco trae piratas = p
El capitán ha muerto = q
El capitán está prisionero = r
2. Simbolizar premisas y conclusión
(P1) : [~p→(q v p)]
(P2) : (p→~r)
(P3) : r
______________________
(C) : ~q → r
3. Fórmula Inferencial
{[~p → (q v p)] (p → ~r) r } → (~q → r)
LÓGICA
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
II. La luz no está encendida, si y sólo si no hay alguien en la
casa o los de casa han salido a pasear. Si los de la casa han
salido a pasear entonces han ido a una función teatral. En
consecuencia, si los de casa han ido a una función teatral,
la luz no está encendida.
{[~p (~q v r)] (r → s)} → (s → ~p)
III. Alberto será encontrado culpable si hoy rinde testimonio,
puesto que si hoy rinde testimonio entonces dirá la verdad.
Y si dice la verdad Alberto será encontrado culpable.
[(q→r) (r → p)] → (q → p)
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
Análisis de Validez de
FILIAL DEL NORTE
Inferencias
Debemos de seguir las siguientes pautas:
• Asignarle una variable proposicional a cada
proposición simple
• Simbolizar las premisas, distinguiendo unas
de otras
• Obtener la fórmula inferencial
• Evaluar la fórmula de la inferencia utilizando
las tablas de verdad, el método abreviado
y las leyes formales.
LÓGICA
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
TEMA: Verdad Formal. Tabla de
verdad
✓ Determina la conclusión de un esquema molecular:
Tautología, Contradicción, Contingencia
✓ Utiliza Tabla de Valores de Verdad para validar
inferencias.
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
Evalúa la siguiente inferencia:
(p q) → q
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
Evaluación de inferencias en una
FILIAL DEL NORTE
tabla de verdad
UNIVERSIDAD DE
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
TABLA DE VERDAD
p q pq pvq pΔq p→q pq
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
UNIVERSIDAD DE
TAREA: Válida las siguientes inferencias,
SAN MARTÍN DE PORRES
FILIAL DEL NORTE
indicando si es tautología, contradicción o
contingencia:
1) (p q) q → p
2) (p q) p → q
3) (p q) q → (p → q)
4) {[(p q) → ( q v p)] (p q)} → ( q v p)
5) (p → q) q → p
6) [(p q) (r p)] → (p r)
