Tcnica del condicional asociado

Como hemos visto previamente, usando una tabla de verdad podemos determinar
cundo una proposicin molecular es verdadera o falsa.
Cmo podemos aplicar esto al razonamiento?
En primer lugar, a travs de una analoga entre la conectiva condicional (si.
entonces.) con la introduccin de la conclusin en un razonamiento.
Sabemos que un razonamiento es vlido cuando su forma es tal que no tiene
ningn ejemplo conpremisas verdaderas y conclusin falsa.
Por otro lado, un condicional es tautolgico cuando en su tabla de verdad no hay
ninguna fila que tenga antedecente verdadero y consecuente falso.
DADO UN RAZONAMIENTO, SI CONSTRUIMOS UN CONDICIONAL CUYO
ANTECEDENTE SEA LA CONJUNCIN DE LAS PREMISAS, Y SU
CONSECUENTE LA CONCLUSIN DEL RAZONAMIENTO, TENDREMOS QUE ,
SI EL RAZONAMIENTO ES VLIDO, EL CONDICIONAL AS CONSTRUIDO
SER TAUTOLGICO, Y SI EL CONDICIONAL ES TAUTOLGICO, EL
RAZONAMIENTO A PARTIR DEL CUAL LO CONSTRUIMOS ES VLIDO.
La razn: si el razonamiento es vlido, por definicin no podr ocurrir
que sus premisas sean verdaderas y su conclusin sea falsa , y en ese
caso en el condicional no habr ninguna fila con antedecente verdadero
y consecuente falso y como se es el nico caso en que un condicional es
falso, al no darse ese caso el condicional ser tautolgico.
A la inversa si el condicional es tautolgico, no tendr ninguna fila V
F, y por lo tanto, el razonamiento a partir del cual se construy no
tendr premisas verdaderas y conclusin falsa, y por consiguiente ser
un razonamiento vlido.
Ej
Si Pedro viene, Carlos se ir
Pedro viene
______________
Carlos se ir
Su forma es la siguiente:
p q
p
_____________
q
Si constuimos el condicional asociado, y hacemos la tabla de verdad:
[(p q ) p ] q
V V V V V V V
F V V F F V V
V F F F V V F
F V F F F V F
Los valores del antecedente estn dados pro la columna correspondiente al , y
los del consecuente por la columna de q . Vemos que en esta tabla no se da el caso
de que para un valor V del antecedente haya un valor F en el consecuente, ya que
al nico caso de valor V del antededente le corresponde un valor V en el
consecuente. El razonamiento es por lo tanto vlido.
Cmo se hace?
1. Dado un razonamiento, consideramos su forma, y a partir de ella se construye
un condicional cuyo antedecente es la conjuncin de las premisas y su
consecuente, la conclusin.
2. se construye la tabla del condicional y si resulta tautolgico, el razonamiento y
todos los de su misma forma sern vlidos; si, en cambio resulta contingente o
contradictorio, sern invlidos.
Tomemos ahora el siguiente razonamiento:
Si Pedro viene, Caarlos se ir
Pedro no viene
_______________
Carlos no se ir
Hallamos su forma:
p q
p
_______
q
1. Construimos el condicional asociado:
[ ( p q ) p ] q
2. Construimos la tabla de verdad del condicional asociado:
[(p q ) p ] q
V V V F F V F
F V V V V F F
V F F F F V V
F V F V V V V
Como el condicional no es tautolgico, podemos concluir que el razonamiento es
invlido.