Capítulo 3.

Lógica simbólica - Lógica proposicional 159

EJERCICIOS

1. Represente simbólicamente los enunciados a-j, utilizando los átomos p, q, r y s,

con estos significados: p: 2 es número primo, q: 2 es número par, r: le entrego
el libro, s: usted me entrega la fotografía.
a. 2 es número primo, pero es par.
b. es número par; sin embargo, es primo.
c. 2 es número primo no obstante que es par.
d. Es falso que 2 no es primo o no es par.
e. Es falso que 2 no es primo o es falso que 2 no es par.
f. Le entrego el libro si me entrega la fotografía.
g. Le entrego el libro sólo si me entrega la fotografía.
h. Si no me entrega la fotografía, entonces no le entrego el libro.
i. Sólo si me entrega la fotografía le entrego el libro.
j. No le entrego el libro, a menos que me entregue la fotografía.

2. Sobre la base de las definiciones de los conectivos lógicos, establezca el valor

de verdad de los enunciados a j.
a. (Roma es la capital de Italia)˜(Viena no es la capital de Suiza).
b. Aun cuando es cierto que París es la capital de Francia, es falso que Roma
es la capital de Italia.
c. Ni Viena es la capital de Suiza ni París es la capital de Francia.
d. ¬(Viena es la capital de Suiza) ˜ ¬(París es la capital de Francia).
e. ¬(Viena es la capital de Suiza)  (París es la capital de Italia).
f. (¬ Viena es la capital de Austria ™ París es la capital de Italia) š Roma es
la capital de Francia.
g. Viena es la capital de Austria ˜ ¬( Roma es la capital de Italia ˜ ¬ París es
la capital de Francia).
h. ¬(Todo número impar es primo ˜ todo número primo es impar).
i. Todo número primo es impar si y sólo si todo número impar es primo.
j. (Todo número impar es primo) ™ ¬{(todo número primo es impar) š [¬(
todo número impar es primo)]}.

3. Considere las proposiciones “Álvaro Uribe es presidente de Colombia” y

“Álvaro Uribe es ciudadano colombiano”. Utilice los átomos p y q para
representarlas, en ese orden, y escriba por lo menos seis enunciados que se
representarían en este caso como p  q.

4. Ilustre, con un ejemplo diferente a los que se proporcionaron en este capítulo,

los diferentes usos del condicional (definición, consecuencia lógica, rechazo
absoluto, etcétera).
160 Lógica y argumentación: De los argumentos inductivos a las álgebras de Boole

5. En cada uno de los puntos a h proceda como se le indica en la palabra

subrayada:
a. Complete: La expresión “Llueve pero no hace frío ni calor” se puede
representar en el cálculo proposicional como ___________.
b. Complete: Según su significado, la disyunción exclusiva entre p y q se
puede representar por la fórmula (p ˜ ¬q)™(q ˜ ¬p) y también por la
fórmula _________________.
c. Responda: Si A y B representan fórmulas bien formadas tales que A y B
y una interpretación para ellas hace que v(A)=F, ¿qué puede decirse de
v(¬B) para esta interpretación?
d. Complete cada línea desde a hasta e para obtener una expresión
verdadera:
a. p ˜ ( p™ q) y ___________ (Equivalencia: ley de absorción)

b. { ____ , ¬p™q} ╞ q (Silogismo disyuntivo)

c. p ™ q y _________ (fórmula equivalente que usa solamente ¬ y ˜)

d. { }╞ (Dilema constructivo)

e. {p˜q, (r  ¬s)  ¬(p  q)} ╞ r____ (Modus tollens)

e. Califique como verdadero o falso: Toda contingencia es una fórmula
satisfacible, pero no toda fórmula satisfacible es una contingencia.
Escriba un ejemplo de fórmula que es una contingencia.
f. Califique como verdadero o falso: Un razonamiento que tiene como
premisas las que aparecen en la lista siguiente es inconsistente:
{(p ™ q)  (r  s), p, (r  s)  (t  w), t ˜ ¬w}
g. Responda: ¿Cuándo y cómo se utiliza la Regla de la Deducción?
h. Suponga que usted se propone demostrar, a partir de un conjunto de
premisas, que a=0 ™ b=0. ¿Qué haría, si su plan consistiera en demostrar el
resultado por método indirecto? ¿Cuál sería entonces la nueva premisa?
¿En qué momento consideraría finalizada la demostración?

6. Deduzca esta equivalencia: p ˜ (q  r) y ¬(¬p ™ q)™¬(¬p ™ ¬r).

7. A continuación se da un grupo de fórmulas bien formadas. Escriba, para cada

una, dos enunciados que se representen simbólicamente con dicha fórmula.
Por ejemplo, si la fórmula es p(q˜r), un enunciado podría ser: Si un triángulo
es equilátero entonces sus tres lados y sus tres ángulos son iguales; un segundo
enunciado de la misma forma: Si hoy es miércoles, entonces tengo clases de
Lógica y de Algoritmos.

a. p  (q™ ¬r) c. (p ™ q ™ r) ˜ (¬p ˜ ¬q)r

b. (p ˜ (q ™ r))š((p ˜ q)™(p ˜ r)) d. ((p  r) ˜ (q  s))  ((p ˜ q)  (r˜s))
Capítulo 3. Lógica simbólica - Lógica proposicional 161

8. Represente simbólicamente cada razonamiento a-j. Utilice los átomos p,

q, r... en el mismo orden en el cual aparecen las proposiciones atómicas en
el razonamiento correspondiente. No olvide indicar explícitamente qué
proposición está representada por cada átomo.
a Si el ratón se come el queso, entonces el gato atrapa al ratón. Pero el
ratón no se come el queso. Por lo tanto, el gato no atrapa al ratón.
b. Si el ratón se come el queso, entonces el gato atrapa al ratón. Pero el
gato no atrapa al ratón. Por tanto, el ratón no se come el queso.
c. Si el asalto ocurrió después de las 4 de la mañana, pero antes de las 5,
entonces los guardianes se habían quedado dormidos. Si ocurrió a una
hora diferente, entonces los guardianes son cómplices necesariamente;
en tal circunstancia, hay personas externas involucradas. Por tanto, si
los guardias no se quedaron dormidos, el asalto involucra a personas
externas.
d. Si resuelvo un ejercicio sin quejarme, entonces lo puedo entender. Yo no
puedo entender ejercicios de los cuales no tengo un ejemplo resuelto
previamente. Los ejercicios que puedo entender no me producen dolor
de cabeza. Este ejercicio tiene un ejemplo previamente resuelto. Por lo
tanto, resuelvo este ejercicio sin quejarme, pero me produce dolor de
cabeza.
e. Mi padre me anima si estudio diariamente. O me va bien en los cursos o
no estudio diariamente. Si duermo en exceso, entonces no me va bien en
los cursos. Por lo tanto, si mi padre me anima, entonces no duermo en
exceso.
f. Si Dios fuera bueno, querría hacer a sus criaturas perfectamente felices.
Y si fuera omnipotente podría hacer todo lo que quisiera. Si Dios quisiera
hacer a sus criaturas perfectamente felices y pudiera hacer todo lo que
quisiera, entonces las criaturas serían perfectamente felices. Pero las
criaturas no son perfectamente felices. En consecuencia, a Dios le falta
poder, o bondad, o ambas cosas. (Tomado del artículo “Cazadores de
la verdad”, de Daniel J. Boorstin. Lecturas Dominicales de El Tiempo,
22/02/98. Se modificó el texto original solamente para hacer explícita una
premisa implícita).
g. Si Dios quisiera prevenir el mal pero fuera incapaz de hacerlo, entonces
no sería todopoderoso; si fuera capaz de prevenir el mal, pero no quisiera
hacerlo, sería malévolo. Existe el mal sólo si Dios es malévolo o incapaz
de prevenirlo. Es un hecho que el mal existe. Si Dios existe, entonces es
todopoderoso y no es malévolo. En consecuencia, Dios no existe.
h. La convivencia social se deteriorará sensiblemente. Las razones son
claras: no hay duda de que si hay alza general de salarios no se podrá
contener el desempleo, y si hay paro general no se alcanzarán las metas
de producción. Sin embargo, las más recientes intervenciones del ministro
162 Lógica y argumentación: De los argumentos inductivos a las álgebras de Boole

de Hacienda y de los sindicalistas indican que habrá alza general de

salarios, pero insuficiente para evitar el paro general. Pero se alcanzarán
las metas de producción. Lamentablemente, si no puede contenerse
el desempleo, o si hay alza general de salarios, la convivencia social se
deteriorará sensiblemente.
i. Cualquiera sea la situación del dólar con respecto al peso, algún sector
de la economía resulta perjudicado: Si el peso se revalúa, se lamenta
el sector exportador porque los dólares que recibe representan menos
pesos al traerlos al país; si el peso se devalúa, los importadores tienen
que pagar más caros los bienes que importan y se reduce el consumo de
los mismos. Además, en este caso se encarece la deuda externa del país,
lo cual nos afecta a todos negativamente.
j. Las siguientes razones permiten afirmar que la inversión social disminuirá
drásticamente: Según los analistas, si el alza en el salario mínimo es
superior a la inflación, entonces no disminuirá el desempleo y, si hay
otro paro general, no se alcanzarán las metas del sector productivo.
Por otro lado, la dirigencia sindical amenaza con otro paro general, si
el alza en el salario mínimo no es superior al nivel de inflación. Esto se
complementa con el hecho de que si no disminuye el desempleo o no se
alcanzan las metas del sector productivo, entonces habrá una baja en
las exportaciones. Y una baja en las exportaciones hará que la inversión
social disminuya drásticamente.

9. Clasifique cada fórmula siguiente como satisfacible, tautología, contingencia, o

insatisfacible. Recuerde que eventualmente una fórmula puede ser clasificada
en diferentes grupos:
a. (p ™ q) ˜ ¬(p ˜ q)
b. p ˜ ((p ™ q)  ¬q)
c. (p  (q ˜ r)) ˜ ¬ (p  (q ˜ r))
d. ((p  q) ˜ (p  r)) š (p  (q˜r))
e. ((p  q) ˜ (p ˜ r))  q

10. Utilice el método directo por asignación de valores para establecer cuáles de
las fórmulas siguientes son tautologías. En caso de no serlo, indique en su
conclusión una interpretación para la cual la fórmula es falsa:
a. ((p  q)v ¬q) ¬p
b. ((p q) ˜ ¬q) ¬p
c. ((p ˜(p  q))  q
d. ((p ™q) ˜ (p  r) ˜ (qr))r
e. [p  (q™r)]  [(p  q)˜(pr)]
Capítulo 3. Lógica simbólica - Lógica proposicional 163

11. Pruebe las siguientes equivalencias. Un * indica que se exige una prueba
algebraica, como en el ejercicio 3.28.
a. (p  q) y (¬q  ¬p)
b. p ™ ( p ˜ q) y p *
c. p ˜ (p ™ q) y p
d. (p™q) ˜ p ˜ (q™r) ˜ (p ™ ¬p ™r) ˜ (¬q ™ r) y (p˜r) *
e. (¬(p ˜ (¬p ™ q)) ™ q) yV *
f. (p˜q) ™ (p˜r) ™ (¬(¬p™q)) y p *
g. ¬[(p ™ q)˜(¬p ™ r)˜(¬q ™ r)] ™ r y V

13. En cada caso muestre, sin hacer las tablas de verdad, una interpretación que le
permita concluir que las fórmulas de cada par no son equivalentes:
a. (p  q)  r y p  (q r) b. p˜(q™r) y (p˜q)™r
c. pq y d. qp

14. Califique cada afirmación a -e como verdadera o como falsa. Justifique

plenamente su respuesta.
a. La notación {p, p  q}╞ q es ambigua.
b. Un razonamiento deductivo es válido si y sólo si la conjunción de las
premisas y la conclusión es una tautología.
c. La afirmación {p  q, ¬p}╞ ¬q es falsa, porque el razonamiento ((p  q)
˜ ¬p)  ¬q es una falacia.
d. Toda regla de inferencia es un razonamiento válido, y todo razonamiento
válido es una regla de inferencia.
e. En los razonamientos inválidos las premisas son inconsistentes.

15. Establezca la validez de los razonamientos siguientes:

1. P1 (p™q)˜(r™s) 2. P1 p¬q
P2 (pr)˜(qs) P2 ¬p(r¬q)
P3 ¬r P3 (¬s™¬r)¬¬q
C. s P4 ¬s
C. ¬r
3 P1 (p™q) r 4 P1 x = 5 ™ x< y
P2 (r™q)(p(sšt) P2 (x>3 ™z<2)(z<x ™ y=1)
P3 p˜s P3 x<y  z<2
C. sšt P4 x = 5  x>3
P5 z<x  x = 4
P6 y=1  ¬(x>3 ™ z<2)
C. x=4