EL MÉTODO ABREVIADO

El método abreviado de la tabla de valores es un procedimiento que no evita el laborioso

trabajo de combinar y operar todas las posibilidades de los valores de verdad y falsedad en la
evaluación de las fórmulas. El método abreviado que se va usar es aplicable, básicamente, a
esquemas condicionales, especialmente para analizar la validez o invalidez de las inferencias.
Según este método, se parte de la hipótesis que la premisa o conjunción de premisas es
verdadera y conclusión falsa, única posibilidad que invalida la implicación. Si se demuestra que
la hipótesis es cierta, entonces se concluye que la inferencia no es válida; en caso contrario se
habrá demostrado que la inferencia es válida.

Reglas del método abreviado

1. Asignar el valor de verdad (V) a cada una de las premisas y la falsedad (F) a la
conclusión.
2. Deducir el valor de cada una de las variables proposicionales iniciando la operación por
aquel operador que ofrece una sola opción en la obtención del valor.
3. Trasladar el valor de una variable si ésta se repite en el esquema, si y sólo si no afecta
el valor del operador inmediato.
4. Si cada una de las variables cumple una sola función veritativa (verdadero o falso), se
habrá demostrado que la premisa o la conjunción de premisas es verdadera y la
conclusión falsa. Por lo tanto, la inferencia será inválida.
5. Basta que una variable tenga los valores los valores de verdad y falsedad a la vez en
todas las opciones para demostrar que es imposible que la premisa o conjunción de
premisas sea verdadera y la conclusión falsa. Por lo tanto, hay implicación y la
inferencia es válida.

Ejemplo:

Roberto es un profesional si y sólo si es un graduado universitario. Ocurre que Roberto es un

ingeniero. Por lo tanto, si Roberto es un ingeniero entonces es un graduado universitario.

Simbolizando y aplicando las reglas del método abreviado se tiene:

Roberto es un profesional = p. pq

Roberto es un graduado universitario = q r
Roberto es un ingeniero = r. __________________
.·. r  q

Por la regla (1) se tiene:

( p  q ) ∧ r .. r  q
V V F
Por la regla (2) se obtiene:

( p  q ) ∧ r .. r  q
V V V F V

Ahora aplicando la regla (3) y deduciendo el valor de “p”:

( p  q ) ∧ r .. r  q
F V F V V F F

Luego por la regla (4) se demuestra que la inferencia no es válida:

PRACTICA:

1. Matías será encontrado culpable si hoy rinde testimonio, puesto que si hoy rinde
testimonio dirá la verdad, y si dice la verdad Matías será encontrado culpable.

2. Como es hora laborable, se concluye que en el juzgado hay jueces y testigos, dado que,
si es hora laborable, en el juzgado hay jueces, y hay testigos si en el juzgado hay
jueces.