ESTUDIO ESPECÍFICO DEL CONDICIONAL


Republica Bolivariana De Venezuela
Ministerio De Educación Superior
Universidad Alejandro De Humboldt
Vise Rectorado Académico
Curso Pre - Ingreso 2007 - I
Sede El Bosque
Sección N11PREFH
Cátedra: Lógica











INTRODUCCION A LA LÓGICA PROPOSICIONAL



























Caracas, Febrero 2007

ESTUDIO ESPECÍFICO DEL CONDICIONAL

Dado el importante papel que juega el condicional enel desarrollo de conceptos y en las demostraciones matemáticas, entre otras cosas, vale la pena que dediquemos un estudio especial a este conectivo.

En primer lugar estudiaremos a lo que llamaremos Formas derivadas de un condicional. Esto se refiere a los diferentes condicionales que puede obtenerse a partir de un condicional dado. En particular, señalaremos los que se consideran de mayorimportancia, los cuales, son los siguientes:

a) Forma Directa
Es aquella en la que viene expresado el condicional original. Es decir, P Q.

b) Forma Reciproca
Se obtiene intercambiando el antecedente y el consecuente en el condicional original. Es decir, Q P.

c) Forma contraria del Directo
A veces llamada forma inversa, consiste en negar al antecedente y el consecuente del condicional original.Esto es, ~ P ~ Q.

d) Forma contraria del reciproco
A veces llamada Contrarreciproca o Contrapositiva, es aquella que se deriva al negar el antecedente y el consecuente del reciproco. Es decir, ~ Q ~ P.

Construyendo las tablas de verdad correspondientes a estas formulas derivadas podemos deducir interesantes conclusiones acerca de las equivalencias existentes entre ellas. Veamos:

P
Q
~P
~ Q
P Q
Q P
~ P ~ Q
~ Q ~ P
V
V
F
F
V
V
V
V
V
F
F
V
F
V
V
F
F
V
V
F
V
F
F
V
F
F
V
V
V
V
V
V


Observando esta tabla podemos concluir que el directo y el contrario del reciproco son equivalentes, al igual que lo son el contrario del directo y el reciproco. Es decir:


(P Q ) (~ Q ~ P )
(Q P ) (~ P ~ Q )

Igualmente podemos deducir, de lo anterior, que el conectivo condicionalno es conmutativo. Es decir, el directo y el contrario no son equivalentes, al igual que no l son el contrario del directo y el contrario del reciproco.

En una forma más general, podemos decir que, a partir de dos proposiciones, P y Q, es posible construir cuatros condicionales que están relacionados, entre si, según el siguiente esquema:


P  Q~ P  ~ Q








Podemos afirmar, también de acuerdo a las equivalencias anteriores demostradas, que condicionales contrarrecíprocos entre si, son equivalentes:

Ejemplo

Sea el condicional

“Si un número termina en cero, entonces ese número es par”

Sus cuatro formulas derivadas son:

Directo: “Si un número termina en cero,entonces ese número es par”

Reciproco: “Si un número es par, entonces ese número termina en cero”

Contrario del Directo: “Si un número no termina en cero, entonces ese número no es par”

Contrario del Reciproco: “Si un número no es par, entonces ese número termina en cero”

Podemos aprovechar este ejemplo para constatar las equivalencias entre las formas derivadas del condicional. En ese sentido,observamos que el directo es verdadero y también lo es el contrario del reciproco. Mientras que el reciproco es falso y también el contrario del directo. Además, podemos constatar la conmutavidad del condicional, ya que, mientras el directo es verdadero el reciproco es falso y siendo falso el contrario del directo, el contrario del reciproco es verdadero.

Así, conociendo las equivalenciasentre las diferentes formas derivadas del condicional, podemos establecer con rapidez los valores de verdad de cualquiera de ellas a partir de los valores de verdad del condicional dado u original.

EJERCICIOS II

1. Enuncie las formas derivadas de los siguientes condicionales:

a) Si a y b son números impares, entonces a – b es número par.
b) Si la inflación destruye el poder de compra, entonces...