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

∴ ~𝑝 Conclusión
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