Validación de inferencias

Marcelo Axel Armas Gonzales

Def.- En la lógica proposicional, la inferencia es un tipo de proceso para determinar si la

estructura de un argumento es válida o invalida; es decir, analiza si de las premisas de un
argumento se puede derivar correctamente a la conclusión. Cabe señalar, que con este proceso no
probamos la validez de un razonamiento, lo único que establecemos es que no es veritativo-
funcionalmente válido.

Una inferencia válida es cuando en un conjunto de proposiciones la «conclusión» es una

consecuencia semántica de otras premisas. En otras palabras, la conclusión debe estar implicada
por la conjunción de premisas.
Por el contrario, una inferencia inválida se da cuando no podemos derivar correctamente de
las premisas a la conclusión.
Ejemplo 1: inferencia válida
P1: Todos los animales mamíferos lactan de sus madres.
P2: Todos los perros son mamíferos.
C: Todos los perros lactan de sus madres.
 Ejemplo 2: inferencia inválida
P1: Todos los simios bailan y comen plátano.
P2: Los humanos no son simios.
C: Los humanos no bailan y no comen plátano.

Pasos para la validez de las inferencias:

1. Crear un diccionario de los símbolos de cada proposición y premisa. Para crear un fbf.
2. Suponer que la conclusión de la fbf es falsa.
3. Realizar el método abreviado (MA).
4. Cuando hay un absurdo en los valores, significa que no se cumple la hipótesis de falsedad.
Por lo tanto, la inferencia es válida.
5. En el caso que no exista un absurdo en los valores, se cumple la hipótesis de falsedad. Por lo
tanto, la inferencia es inválida.
Ejercicio:
[Para algunos economistas, en la teoría económica, existe el supuesto que los peruanos compran
con base en la razón y no por el miedo.] [Si existen peruanos que no compran con base en la
razón, si y solo si actúan desesperadamente por incertidumbre o compran por tener la ilusión de
controlar la situación.] [Si muchos peruanos compran masivamente papel higiénico por miedo al
Covid-19.][Entonces existen peruanos que actúan desesperadamente por incertidumbre y
compran por tener la ilusión de controlar la situación.] Por lo tanto, si existen peruanos que no
compran con base en la razón y hay peruanos que compran por el miedo.
1) Diccionario:
p: Los peruanos compran con base en la razón.
q: Los peruanos compran por el miedo.
r: Los peruanos actúan desesperadamente por incertidumbre.
s: Los peruanos compran por tener la ilusión de controlar la situación.
t: Los peruanos compran masivamente papel higiénico por miedo al Covid-19.
Premisas
P1: Para algunos economistas, en la teoría económica, existe el supuesto que los peruanos
compran con base en la razón y no por el miedo.
(p ˄ ¬ q)
P2: Si existen peruanos que no compran con base en la razón, si y solo si actúan
desesperadamente por incertidumbre o compran por tener la ilusión de controlar la situación.
¬p ↔ (r ˅ s)
P3: Si muchos peruanos compran masivamente papel higiénico por miedo al Covid-19.
(t)
P4: Entonces existen peruanos que actúan desesperadamente por incertidumbre y compran por
tener la ilusión de controlar la situación.
(r ˄ s)
C: Por lo tanto, si existen peruanos que no compran con base en la razón y hay peruanos que
compran por el miedo.
(¬p ˄ q)
Fbf:
{[(p ˄ ¬ q) ˄ (¬p ↔ (r ˅ s))] ˄ [t → (r ˄ s)]}.→. (¬p ˄ q)
{[(p ˄ ¬ q) ˄ (¬ p ↔ (r ˅ s))] ˄ [t → (r ˄ s)]} .→. (¬ p ˄ q)

v V v f V f v V f f f V f V f f f F f v F f

. - - x . . x .
La inferencia es inválida, puesto que cumple que no hay absurdos y se comprueba
que tiene una contradicción.

Bibliografía
Trelles, O. y Rosales, D. (2000) Introducción a la Lógica. Lima: Fondo Editorial de la Pontificia
Universidad Católica del Perú (pp.139 – 142).