3.

El Condicional y el Bicondicional
El Condicional
Considera la siguiente proposicin: "Si obtienes una A en lgica, entonces te
voy a comprar un Mustang amarillo." Esta parece ser compuesta en dos
oraciones ms simplemente:
p: "Obtienes una A en lgica," y
q: "Te voy a comprar un Mustang amarillo."
La proposicin original quiere decir lo siguiente: Si p es verdad, entonces q es
verdad, o, ms simple, si p, entonces q. Tambin podemos escribir la frase
como p implica q, y escribimos pq.
Ahora supongamos por el bien de la discusin de que la proposicin original:
"Si obtiene una A en lgica, entonces te voy a comprar un Mustang amarillo,"
es verdad. Esto no significa que tu obtendrs una A en lgica; lo nico que
quiere decir es que si t lo haces, entonces te voy a comprar un Mustang
amarillo. Si Pensamos en esto como una promesa, la nica manera que pueda
ser rota esta promesa es si ganas una A pero no te compro un Mustang
amarillo. En general, usamos esta idea para definir la proposicin pq.
Condicional
La condicional pq, que se lee "si p, entonces q" o "p implica q," se define
con la siguiente tabla de verdad.
p q pq
V V V
V F F
F V V
F F V
La flecha "" es el operador condicional, y en pq la proposicin p es
llamada en el antecedente, o hiptesis, y q es llamada la consecuente,
o conclusin.
Observa que el condicional en un nuevo ejemplo de un operador lgico
binario -- asigna a cada par de proposiciones p y q la nueva proposicin pq.
Nota
1. La nica manera que puede ser falsa pq es si p es verdadera y q es
falsaesto es el caso de la "la promesa rota."
2. Si estudias la tabla de verdad una vez ms, puedes ver que decimos
que "pq" es verdadera cuando p es falsa, sin importa el valor de
verdad de q. Esto tiene ms sentido en el contexto de la promesa si
no obtienes una A, entonces s o no te compro un Mustang, no estoy
rompiendo mi promesa. Sin embargo, va en contra del grano si piensas
que "si p entonces q" es lo mismo que decir que p causa q. El problema
es que hay realmente muchas maneras que las frases en espaol "si...
entonces..." se utilizan. Lgicos estn de acuerdo que el significado que
se da en la tabla de verdad ms arriba es lo ms til para las
matemticas y por lo tanto, eso es el significado que siempre usaremos.
Dentro de poco discutiremos otras frases en espaol que interpretamos
con el mismo significado.
A continuacin, algunos ejemplos que nos ayudaran a explicar cada lnea de la
tabla de verdad.
Ejemplo 1 (Verdadera implica Verdadera) es Verdadera
Si p y q son verdaderas, entonces pq es verdadera. Por ejemplo:
Si 1+1 = 2 entonces el sol sale por el este.
Aqu p: "1+1 = 2" y q: "El sol sale por el este."
Antes de seguir...
Observa que las proposiciones p y q no tienen nada que ver una con
otra. No estamos diciendo que el sol sale por el este porque 1+1 = 2,
simplemente que la proposicin entera es lgicamente verdadera.

Ejemplo 2 Verdadera no Puede Implicar Falsa
Si p es verdadera y q es falsa, entonces pq es falsa. Por ejemplo
considera:
Cuando llueve, llevo un paraguas.
Aqu p: "Est lloviendo," y q: "Llevo un paraguas." En otras palabras,
podemos reformular la frase u oracin como: "Si llueve entonces llevo
un paraguas." De hecho, es frecuentemente el caso que llueve (p es
verdadera) y se me olvido traer mi paraguas (q es falsa). En tal
momento la proposicin pq es claramente falsa.
Antes de seguir...
Observa que interpretamos "Cundo p, q" como "Si p entonces q."

El siguiente ejemplo explica las dos ltimas lneas de la tabla de verdad para
la condicional.
Ejemplo 3 Falso implica cualquier cosa
Si p es falso, entonces pq es verdadera, no importa si q es
verdadera o no. Por ejemplo:
Si la luna es hecha de queso verde, entonces soy el rey de
Inglaterra.
Aqu p: "La luna es hecha de queso verde," que es falsa, y q: "Soy el
rey de Inglaterra." La proposicin pq es verdadera, s o no el orador
suele ser el rey de Inglaterra (o si, lo que es ms, an hay un rey de
Inglaterra).
Antes de seguir...
"Si tuviera 1 milln de dlares estara en Elsy Street." "S claro, y si mi
abuela tuviera ruedas ella sera un autobs." El punto de la rplica es
que si la hiptesis es falsa, la implicacin entera es verdadera.

Ejemplo 3P Prctica con el condicional
Contesta lo siguiente. En caso de duda, usa una tabla de verdad o
consulta los tres ejemplos anteriores.
"Si 1+1 = 3, entonces 1+2 = 3." es
verdadera
falsa
.




"Si la tierra es redonda entonces marte es
plano." es
verdadera
falsa
.




"Si la tierra es plana marte es plano." es
verdadera
falsa
.




"Si la tierra es redonda, marte es redondo." es
verdadera
.


falsa


"Si marte es redondo, yo soy el hombre de la
luna." es
verdadera
falsa
.





Ve la tabla de verdad una vez ms, y observa que pq es verdadera
precisamente cuando p es falsa o q es verdadera (o ambos). En otras palabras,
pq es lgicamente equivalente a (~p) q. Los siguientes ejemplos
demuestran este hecho.

Ejemplo 4 Cogito; Ergo Sum
Echemos un vistazo a la reclamacin famosa de Descartes:
Cogito; ergo sum: "Pienso; por lo tanto yo soy."
Para concluir que "yo soy" por "pienso," Descartes hace la siguiente
preposicin implcita: "Si pienso, entonces soy." Si Descartes no
piensa, entonces no importa si el existe o no. Si l existe, entonces no
importa si l piensa o no. El nico caso que podra contradecir su
proposicin es si rompe la promesa: l piensa, pero no existe.

Ejemplo 5 Switcheroo
Muestra que pq (~p) q.
Solucin
Construimos una tabla de verdad para comprobarlo:

Mismos valores



p q pq ~p (~p) q
V V V F V
V F F F F
F V V V V
F F V V V
Ates de seguir...
En otras palabras, pq es verdadera si p es falsa o q es verdadera. Por
la ley De Morgan estas proposiciones tambin son equivalentes a ~(p
(~q)). La nica forma que el condicional puede ser falsa en el caso dela
promesa rompas: cuando p es verdadera y q es falsa.
Debera sorprender el hecho de que podemos convertir la implicacin
en una disyuncin. De hecho, detrs de todo esto es una tcnica muy
poderosa. No es muy difcil (usando la tabla de verdad) para convertir
cualquier proposicin lgica en una disyuncin de conjunciones de
tomos o sus negaciones. A esto se le llama la forma normal disyuntiva,
y es esencial en el diseo de los circuitos lgicos que componen las
computadoras digitales.
Por falta de un nombre mejor, llamaremos a la equivalencia pq (~p)
q la ley de "Switcheroo".

Ley de Switcheroo
La ley de Switcheroo es la equivalencia lgica
pq (~p) q.
En palabras, esto expresa la equivalencia entre decir "si p es verdad, entonces q
debe ser verdad" y decir "p no es verdad, o bien q debe ser verdad."
Ejemplo 5P Prctica con Switcheroo
(a) p: "Hay vida en Marte, entonces debemos financiar la NASA."


Seleccione una




(b) p: "Si t eres alto entraras al equipo de lacrosse."



Seleccione una




(c) p: "Financiaremos la NASA solo si hay vida en Marte."



Seleccione una



Hemos visto cmo puede ser tan colorido el lenguaje. No es sorprendente que
haya una gran variedad de maneras de decir que p implica a q. Aqu hay
algunos de los ms comunes:
Algunas frases de la Condicional
Cada una de las siguientes es equivalente al Condicional pq.
Si p, entonces q. p implica q.
q se desprende de p. No p a menos que q.
q si p. p slo si q.
Cuando p, q. q siempre que p.
p es suficiente para q. q es necesaria para p.
p es una condicin suficiente para q. q es una condicin necesaria para p.
Observa la diferencia entre "si" y "slo si." Decimos que "p slo si q"
significa pq ya que, solo cuando pq es verdadera, p puede ser verdadera
slo si q es tambin verdadera. En otras palabras, la nica lnea de la tabla de
verdad en la que pq es verdadera y p es verdadera tiene tambin q como
verdadera. La frase "p es una condicin suficiente para q" dice que es
suficiente saber que p es verdadera para concluir que q es verdadera. Por
ejemplo, es suficiente que obtengas una A en lgica, para que te compre
Mustang amarillo. Otras cosas me podran inducir a comprarte un coche, pero
una A en lgica sera suficiente. La frase "q es necesario para p" esto lo
veremos ms tarde (Ver el Ejemplo 9).

Ejemplo 6 Reformulacin con el condicional
Reformula la frase "Si es martes, debe ser Blgica."
Solucin
Aqu hay varias maneras de reformular la oracin:
"Siendo martes implica que es Blgica."
"Es Blgica si es martes."
"Es martes solo si es Blgica."
"No es martes a menos que sea Blgica."
"Siendo martes es suficiente para que sea Blgica."
"Sea Blgica es una condicin necesaria para que sea martes."

En los ejercicios de la seccin 2, vimos que la ley conmutativa se aplica a la
conjuncin y tambin la disyuncin: p q q p, y p q q p.
P Aplica la ley conmutativa al condicional?. En otras palabras, Es pq lo
mismo que qp?
R No. Podemos ver esto con la siguiente tabla de verdad:

Diferente



p q pq qp
V V V V
V F F V
F V V F
F F V V
Las columnas correspondientes con pq y qp son diferentes, y por lo tanto
las dos proposiciones no son equivalentes. A la proposicin qp llamamos
la conversa de pq. (A la conversa tambin se le llama recproca).
Conversa
A la proposicin qp se llamada la conversa de la proposicin pq. Un
condicional y su conversa no son equivalentes.
El hecho de que un condicional fcilmente se puede confundir con su
conversa a menudo se utiliza en la publicidad. Por ejemplo, el eslogan "Bebe
Boors, la bebida designada al equipo olmpico de los EUA" sugiere que todos
los atletas Olmpicos de EUA beben Boors (es decir, si eres atleta Olmpico de
los EUA, debes beber Boors). Lo que est tratando de decir al mismo tiempo
puede ser la conversa: Todos los que beben Boors pueden ser atletas
olmpicos de los EUA (si tu bebes Boors entonces sers un atleta Olmpico de
los EUA, o: Es suficiente beber Boors para convertirte en atleta olmpico de
los EUA).
Aunque la condicional pq es lo mismo que su conversa, s es lo mismo que
su llamado contra positivo, (~q)(~p). Mientras que puede demostrar muy
fcilmente con unas tablas de verdad (que se le pedir hacer en un ejercicio)
podemos demostrar esta equivalencia utilizando la equivalencia que ya
sabemos:
pq (~p) q Switcheroo

q (~p) Conmutativa de

~(~q) (~p) Doble Negacin

(~q)(~p) Switcheroo
Contra positiva
A la proposicin (~q) (~p) se llamada la contra positiva de la proposicin
pq. Una condicional es equivalente a su contra positiva.

Ejemplo 7 Contra positiva
Reescribe la proposicin "Este animal grotesco es una vaca Jersey,
entonces debe ser pinta," como su contra positiva.
Solucin
La proposicin dada tiene la forma pq, dnde p: "Este grotesco
animal es una vaca Jersey," y q: "Este grotesco animal es pinto." La
contra positiva es la proposicin (~q)(~p), y se escribe de la siguiente
manera: "Si este animal grotesco no es pinto, entonces no puede ser una
vaca de Jersey."

Ejemplo 8 Conversa
A continuacin da la conversa de la proposicin del ejemplo anterior.
Solucin
La conversa de pq es qp, y puede expresarse como: "Si este
grotesco animal es pinto, entonces es una vaca de Jersey."

Ejemplo 9 Contra positiva
Obtn la contra positiva de la proposicin: "Si no pagas el rescate,
nunca volvers a ver a tu mascota Cha."
Solucin
Esto es (~q)(~p) dnde p: "Veras nuevamente a tu mascota Cha" y
q: "Pagas el rescate." La contra positiva es pq, o "si veras
nuevamente a tu mascota Cha, entonces significa que pagaste el
rescate." una construccin ms elegante es "Es necesario pagar el
rescate para que puedas ver a tu mascota Cha."
Ante de seguir...
Cuando decimos pq es verdad no suponemos que p debe venir antes
q o que p causa q. De hecho, a menudo queremos decir que q es la
nica causa de p, y por lo tanto p es prueba de que ha ocurrido q. Las
frases "q es necesaria para p" y "p slo si q" son ms naturales en este
contexto (prueba "p slo si q" en este ejemplo).

Example 9P Practica con Conversa y Contra positiva
Para cada una de las proposiciones dadas, introduzca el conversa o
contra positiva, segn sea necesario. Para entrar en ellos, use "Y" para
, "O" para ., y "IMPLICA" PARA . Por ejemplo, puedes introducir
(p q) (~r) como (p O q) IMPLICA ~r
(a) Lo conversa de p(~q) es



(b) La contra positiva de p(~q) es



(c) La contra positiva de (~p)(~q) es



(d) La conversa de "Si bebes Retrograde, eres cool." es

Seleccione una




(e) La contra positiva de "Si bebes Retrograde, eres cool." es

Selecciona una




(f)
Lo conversa de la contra positiva de "Si bebes Retrograde, eres cool."
es

Selecciona una



El Bicondicional
Ya vimos que pq no es lo mismo que qp. Puede ocurrir, sin embarg, que
ambos pq y qp son verdaderas. Por ejemplo, si p: "0 = 1" y q: "1 = 2,"
entonces pq y qp ambas son verdaderas porque p y q ambas son falsas.
La proposicin pq se define como la proposicin (pq) (qp). Por esta
razn, la flecha de doble cabeza se llama el bicondicional. Obtenemos la
tabla de verdad para pq construyendo la tabla para (pq) (qp), que nos
da lo siguiente.
Bicondicional
El bicondicional pq, que leemos "p si y solo si q" o "p es equivalente a q,"
se define por la siguiente tabla de verdad.
p q pq
V V V
V F F
F V F
F F V
La flecha "" es el operador bicondicional.
Ten en cuenta que, en la tabla de verdad, vemos que, para pq ser verdadera,
ambas p y q deben tener los mismos valores de verdad; s no, es falsa la
conversa.
Algunas frases del Bicondicional
Cada uno de los siguientes es equivalente al bicondicional pq.
p si y solo si q.
p es necesario y suficiente para q.
p es equivalente a q.
Ten en cuenta que pq es lgicamente equivalente a qp (se le pedir
mostrar esto como un ejercicio), as que podemos invertir p y q en las frases de
arriba.
Para la frase "p si y solo si q," recuerde que "p si q" significa qp mientras "p
solo si q" significa pq. Para la frase "p es equivalente a q," las proposiciones
A y B son lgicamente equivalentes si y solo si la proposicin AB es una
tautolgica (por qu?). Regresaremos a ese tema en la siguiente seccin.

Ejemplo 10 Bicondicional
(a) Verdad o falsa? "1+1 = 3 si y solo si Marte es un agujero negro."
(b) Reformula la oracin: "Enseo matemticas si y solo si me pagan
una gran suma de dinero."
Solucin
(a) Verdadera. La proposicin dada tiene la forma pq, dnde p:
"1+1=3" y q: "Marte es un agujero negro." Ya que ambas proposiciones
son falsas, el bicondicional pq es verdadero.
(b) Aqu estn algunas maneras equivalentes de expresar esta oracin:
"Ensear matemtica es necesario y suficiente para que me
paguen una gran suma de dinero."
"Me pagan una gran suma de dinero si y solo si enseo
matemticas."
Lamentablemente para nuestras finanzas, ninguna de las dos oraciones
es verdad.