UNIVERSIDAD TECNOLOGICA DE LOS ANDES
ESCUELA PROFESIONAL DE INGENIERIA
INFERENCIA LÓGICA
DOCENTE: ING. PERCY SALGUERO HUAYLLAS
CURSO: MATEMATICA BASICA
ALUMNO: BRAYAN SERRANO QUISPE 201713609K
CUSCO – PERU
2021
LA INFERENCIA LÓGICA
Un razonamiento es deductivo si y solo si las premisas son evidencias de la verdad de la
conclusión, es decir, si p1, p2, …, pn son verdaderas entonces q es verdadera; cuando se deduce
esto se dice que se ha construido una inferencia. De este modo, toda regla de inferencia es
tautológico.
Una inferencia es válida si y solo si la premisa p o conjunción del conjunto de premisa {𝑝𝑖}
implica la conclusión q, esto es, si:
(𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ … … … … ∧ 𝑝𝑛 ) → 𝑞 es una tautología
Para determinar la validez de la inferencia existen 2 métodos:
1) Tabla de verdad
Ejemplo: Determinar la validez de la inferencia: “Sí el triángulo es isósceles entonces
tiene dos lados iguales. Pero, el triángulo no tiene dos lados iguales; por lo tanto, no es
isósceles”.
Solución. Sean: p = “el triángulo es isósceles”
q = “el triángulo tiene dos lados iguales”
Entonces, el esquema de la inferencia es:
P1: 𝑝 → 𝑞 P1: Premisa 1
P2: ~𝑞 P2: Premisa 2
∴ ~𝑝 Conclusion
P q (p → 𝑞) ∧ (∼ → ~𝑞
𝑞)
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V
pasos 1 3 2 5 4
Como el resultado de la tabla de verdad es una tautología, la inferencia es válida.
2) Método abreviado
Es un procedimiento que evita la laboriosa tarea de construir la tabla de valores para
determinar la validez de las inferencias. Este método consiste en suponer la conjunción
de premisas verdadera y la conclusión falsa, única posibilidad que invalida la
implicación:
(𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ … … … … ∧ 𝑝𝑛 ) → 𝑞
V V V V F
Si no se demuestra esta posibilidad la inferencia será válida.
En la prueba de este método se aplica los siguientes pasos:
a) Asignar el valor de verdad V a cada una de las premisas y de la falsedad F a la
conclusión.
b) Deducir la validez de cada una de las variables proposicionales en función de las
reglas veritativas, empezando por la conclusión o por el operador de una de las
premisas que ofrece una sola posibilidad.
c) Si cada uno de las variables cumple una sola función veritativa, se habrá probado
que la conjunción de premisas es verdadera y la conclusión es falsa; por lo que, la
inferencia no será válida (no hay implicación).
d) Si una variable tiene dos valores de verdad y falsedad a la vez, quedara demostrado
que no es posible que la conjunción de premisas sea verdadera y la conclusión falsa.
Por lo que, hay implicación y la inferencia será válida.
Ejemplo:
Establecer si es válida la inferencia:
p↔ ~𝑞
q vr
~r
~q
Solución: empezamos escribiendo el esquema de la inferencia en la forma:
a) (𝑝 ↔ ~𝑞 ) ∧ (𝑞 ∨ 𝑟 ) ∧ (∼ 𝑟 ) → ~𝑞
V V V F
b) Empezamos por la conclusión si 𝑉 (~𝑞 ) = 𝐹 → 𝑉 (𝑞 ) = 𝑉. Trasladamos este valor a la primera
premisa y notamos que si: 𝑉 (𝑝 ↔ 𝐹) = 𝑉 → 𝑉 (𝑝) = 𝐹(única posibilidad). En la tercera
premisa:𝑉 (~𝑟 ) = 𝑉 → 𝑉 (𝑟 ) = 𝐹. Estos dos valores encontramos satisfacen el valor de verdad
de la segunda premisa.
c) Como cada una de las variables cumple una sola función veritativa, decimos que la
inferencia no es válida. Esto es, se ha demostrado que la conjunción de premisas es verdadera y
la conclusión falsa
estudiamos la validez de una inferencia por medio de la Tabla de Valores: Si resulta
▪ tautológica: Es válida Si resulta
▪ contingente: No es válida
Hallar la validez de la inferencia mediante tabla de valores. - Interpretar el resultado.
INTERPRETACION: La inferencia no es válida porque la conjunción de premisas no
implica a la conclusión, por lo tanto, la conclusión no se deriva de las premisas.
1º Suponer que la conclusión es FALSA.
2º Suponer que todas las premisas son VERDADERAS
3º Partiendo de la conclusión, se determina los valores de
Verdad de p, q, r.
4º Los valores de verdad hallados en la conclusión se trasladan
a la primera premisa de preferencia, y luego a la segunda,
tercera, etc.
5º Si los valores de verdad de p, q, r toman un solo valor, la inferencia es No Válida. 6º
Basta que una de las variables (p, q, r) tome dos valores de verdad, entonces la
inferencia será válida.
Muy Importante
Válida Tener las tablas de valores de las proposiciones compuestas: Conjuntiva, Disyunción
Inclusiva, Disyunción Exclusiva, Condicional y Bicondicional; a fin de comprender el
procedimiento, además de las reglas mencionadas.
EJEMPLO
1) Hallar la validez de la inferencia por el método abreviado.
La inferencia puede escribirse en forma horizontal:
1º Regla: Suponer que la conclusión es falsa: Por lo tanto: p puede ser verdadera y q falsa
(bicondicional).
2º Regla: Que todas las premisas son VERDADERAS.
3º Regla: Se conoce los valores de p, q deducida de la conclusión según la regla No 01:
p=V q=F
4º Regla: Siendo p = V, para que la primera premisa resulte verdadera, entonces el valor de q
debe ser verdadero (condicional).
El valor de q = V lo trasladamos a la segunda premisa, y por lo tanto el valor de p también debe
ser verdadero.
¿Cuáles son los valores de verdad de p y q?
p=V q=V q=F
5º Regla: Según esta regla, q toma dos valores de verdad, en consecuencia, la inferencia es
válida.
Hallar la validez de la inferencia por el método abreviado.
Escribiendo la inferencia en forma horizontal
1º Regla: Conclusión Falsa
2º Regla: Las premisas verdaderas.
3º Regla: El valor de q = F
4º Regla: El valor de q se traslada a la primera premisa y por lo tanto el valor de p = F.
Si el valor de q = F P = F, para que resulte verdadera la primera premisa (Ver Tabla de Valores
de la Condicional).
En la primera premisa el valor de p es falso.
En la segunda premisa el valor de p es verdadero (regla N.ª 2)
1.- EJERCICIOS:
SOLUCION POR EL METODO ABREVIADO
Respuesta: Si observamos la variable “p” tiene valores F y V a la vez. Por tanto, el esquema es válido.
2.- EJERCICIO:
Si la infraestructura sufrió desperfectos entonces Juan el ing. hará tardía la obra. Pero, Juan no hará que
la obra se tarde. Por tanto, si la obra sufrió desperfectos entonces Juan hará otra programación del
proyecto.
p: la obra sufrió desperfectos.
q: Se hará tardía la obra.
r: Juan hará otra programación del proyecto
SOLUCION -----→
Respuesta: Si, observamos la variable “p” tiene valores F y V a la vez. Por tanto, el esquema es válido.
EJERCICIOS CON TABLAS DE VERDAD
Si trabajo de ingeniero no puedo estudiar, trabajo o apruebo matemáticas, pero aprobé matemáticas.
Por tanto, estudié.
p: Trabajo de ingeniero.
q: Puedo estudiar.
r: Apruebo matemática.
SOLUCION
RESPUETA: El esquema es no válido.