Relacin entre condicin necesaria y condicin suficiente con condicional y bicondicional

Seminario VII
Mario Tapia Ramrez
Se entiende por condicin suficiente aquella por la cual es posible inferir una consecuencia en
particular, pero que ella no es la nica forma de obtener dicha consecuencia. or e!emplo" si llue#e,
entonces la calle se mo!a. $l llo#er sera la condicin suficiente del que la calle est% mo!ada, sin
embar&o podra haber otras formas de hacer que %sta se mo!e, aunque si llue#e entonces
necesariamente se mo!ar'. Se podra decir que la relacin entre la causa suficiente y la consecuencia
es necesaria. Sin embar&o no se podra establecer al re#%s" si la calle est' mo!ada no es necesariamente
porque llo#i.
Sin embar&o, ( en #irtud de esto, se podra considerar que la condicin suficiente puede ser
e)presada mediante el condicional material debido al tipo de relacin que establece entre la causa ( la
consecuencia" el resultado V o * de la implicacin material depender' si se establece o no una relacin
correcta entre las partes que establecen la relacin mediante el condicional. Si asi&namos el #alor V
para +es el caso que, ( * para +no es el caso que,, se pueden establecer los #alores que puede adoptar
la relacin establecida por el conector. -on el mismo e!emplo anterior" .p" llo#i en lu&ar x/ ( .q" la
calle de lu&ar x est' mo!ada/, se podra establecer que al menos tres de los casos que propone el
condicional pueden ser entendidos sin ma(or dificultad.
V" .p0q/
$s verdadero que, si es el caso que llovi en
lugar x, entonces es el caso que la calle de lugar
x est mojada
*" .p01q/
$s falso que, si es el caso que llovi en lugar x,
entonces no es el caso que la calle de lugar x est
mojada
V" .1p0q/
$s verdadero que, si no es el caso que llovi en
lugar x, entonces es el caso que la calle de lugar
x est mojada
$n todos estos casos se cumple que el funtor es #erdadero para los casos en que se establece
una relacin correcta entre las partes #inculadas de modo que se puede afirmar la conclusin en #irtud
de que sea o no el caso del antecedente. 2 la relacin del condicional con la condicin suficiente queda
claro en el caso tercero 3V" .1p0q/4, que propone que de no ser el caso que 5el antecedente5, entonces
esto( posibilitado de 3esto( capacitado para entender como es posible que4 concluir 5el consecuente5.
Sin embar&o esto &enera un problema en el caso de que no sea el caso de las dos partes #inculadas.
V" .1p01q/
$s verdadero que, si no es el caso que llovi en
lugar x, entonces no es el caso que la calle de
lugar x est mojada
Sin embar&o este caso parezca m's dificultoso, desde la idea de que es la relacin, ( no la
implicacin de la una por la otra, lo que esto( afirmando se podra establecer que e)iste un correlato en
el len&ua!e ordinario respecto del len&ua!e formal. $ntendamos 51p5 ( 51q5 de la si&uiente forma" la
lectura en el len&ua!e ordinario de 51p5 es +cualquier cosa que no sea llo#i en el lu&ar x, ( la lectura de
51q5 es +cualquier cosa que no sea que la calle del lu&ar x est' mo!ada,, podra decirse 3&enerosamente4
que la relacin entre la primera ( la se&unda es una relacin correcta, (a que +si han ocurrido muchas
cosas sal#o que llovi en el lugar ), entonces tambi%n han ocurrido muchas cosas menos que la calle
del lugar ) est mojada., Sin embar&o, esto hara suponer primero, que 64 para establecer una relacin
de condicin suficiente no es necesario saber qu% fue lo que la condu!o a ser, sino baste con que esta
sea, con que se ten&a patencia de ella como cosa #erdadera 3#erdaderamente afirmada o
#erdaderamente ne&ada4, 74 que el con!unto de cosas que puedo afirmar o ne&ar como oraciones debe
ser, necesariamente, #erdadero, es decir afirmar #erdaderamente que +la tierra tiene un centro
&ra#itacional, ( ne&ar #erdaderamente que +la luna no est' hecha de queso,. 84 9a relacin que se
establece est' sostenida en el consecuente, si el consecuente es #erdadero, la relacin entre 5p5 ( 5q5 ser'
#erdadera puesto que es pertinente, si el consecuente es falso ( aun as puedo establecer
#erdaderamente una relacin entre los elementos #inculados es puesto la impertinencia de esta relacin,
impertinencia que redunda que estamos hablando de cualquier cosa ( estamos #erificando un hecho
aleatorio, que es cualquiera sal#o el propuesto mediante la sentencia consecuente. :e esta forma los
casos en que se dice que la relacin entre las partes no es #erdadera 3*" .p01q/4, puesto que la
relacin no es pertinente. ;unque con esto se corre el ries&o de concluir que, sobre la base de ese
criterio de pertinencia de conclusin, en al&n sentido resulte equi#alente afirmar tanto +1p0q, como
afirmar que +q,.
<na condicin necesaria es una condicin sin la cual no sucede una determinada consecuencia,
( que, sin embar&o, puede no ser la nica, pero que requiere estar dentro de las causas para tal. 9a
relacin entre una condicin necesaria y la consecuencia es posible, puesto que no se si&ue de ser el
caso la una, que la otra suceda, en tanto que de la carencia de %sta, necesariamente no se puede se&uir
la consecuencia.
$l conecti#o bicondicional podra entenderse como una causa necesaria ( suficiente" que si est'
la primera entonces estar' la se&unda ( requiere estar para que sea el caso que la se&unda, lo cual
tambi%n es recproco. 9a relacin entre las partes #inculadas por el bicondicional es una
suficientemente necesaria" por la estricta necesidad de la una para la otra 3suficientemente4 por lo cual
se requiere la una para la otra, mientras que son suficientes por tanto que si ha( una necesariamente
tambi%n la otra.