ANLISIS Y DEMOSTRACIN DE VALIDEZ DE UNA INFERENCIA

CURSO: RAZ. LGICO

GRADO: QUINTO
FECHA: 04/04/14
La validez inferencial de un razonamiento puede determinarse de muchas maneras, en este caso solo
explicaremos 2:
1) Las tablas de verdad.
2) El mtodo abreviado.
1) VALIDEZ POR TABLAS DE VERDAD
Suelen usarse con mucha facilidad cuando el argumento a demostrar tenga mximo 2 variables. Veamos
un ejemplo:

vamos a tratar de hacer es buscar si la formula en cuestin tiene valores falsos en su matriz. Analicemos
por este mtodo el ejemplo anterior:

P1: Si no apruebo lg ebra, no pasar el ciclo

P 2 : Pude pasar el ciclo
C : Aprob lg ebra
P1: A P
P2 : P
C: A

forma Argumentativa Vertical

Primero:
Asumimos que la inferencia principal, o el conector principal es F, porque vamos a tratar de buscar si es
que la formula tiene valores FALSOS en su desarrollo matricial completo.

P1: Si no apruebo lg ebra, no pasar el ciclo

P 2 : Pude pasar el ciclo
C : Aprob lg ebra

A P P A

P1: A P
P2 : P
C: A

Lo que debemos hacer es asumir el conector principal de la inferencia () , como falso, y es que lo que

Ahora, buscamos los valores que pueden tomar cada variable de la frmula:

forma Argumentativa Vertical

Debemos tener en cuenta que en todo razonamiento, las premisas se unen conjuntivamente, y todas
ellas implican a la conclusin

() .

A P P A..... forma Argumentativa Horizontal

A P P A
V
V
V
F

F
F

V
V

CONSTRUYENDO LA TABLA VERITATIVA:

ATENCIN: Observamos curiosamente que la variable A toma valor VERDADERO pero tambin FALSO.
Esto no puede ocurrir lgicamente, as pues esta contradiccin en los valores de A, nos indica que la
formula proposicional, NO TIENE ningn valor falso en su desarrollo matricial completo y por lo tanto
tiene solo valores V, es decir es VLIDO.
RESUMEN:

Si los valores de las var iables

La matriz final obtenida nos resulta una TAUTOLOGA, esto significa que el razonamiento es CORRECTO
O VLIODO.
2) VALIDEZ POR EL MTODO ABREVIADO
Este mtodo es usado principalmente para demostrar la validez inferencial en argumentos que tienen 3
o ms variables, ya que la construccin completa de una tabla veritativa resultara muy tedioso y
complicado mientras ms variables tenga el argumento a demostrar.
Este mtodo consiste en construir una tabla veritativa abreviada, y es que no olvidemos que los
argumentos vlidos tienen solo valores V, en cambio los argumentos invlidos tienen al menos un valor
F.
Es decir, bastara que un argumento tenga un solo valor F en su matriz para poder afirmar con certeza que
es invlido.

Profesor: Luis Zamora

se contradicen

ARGUMENTO VLIDO

Si los valores de
las var iables no ARGUMENTO INVLIDO
se contradicen
Analicemos dos ejemplos ms:
EJEMPLO 1: Si Elena no toma el mnibus, llegara tarde al trabajo. Elena llego tarde al
trabajo, por lo tanto no tomo el mnibus.
EJEMPLO2: Si estudio y trabajo, progresare en la vida. Ocurre que trabajo. Por lo tanto, si
estudio, progresare en la vida.

Profesor: Luis Zamora