LÓGICA EJERCICIOS RESUELTOS

FORMALIZACIÓN DE ARGUMENTOS

EJERCICIO 4.01 En los polos el frío es intenso únicamente si los planetas giran en torno al sol.
Convenciones simbólicas:

p: en los polos el frío es intenso

q: los planetas giran en torno al sol

Formalización: p → q

EJERCICIO 4.02 Siempre que los herbívoros corren o el frío en los polos es intenso, los planetas
giran en torno al sol.

Convenciones simbólicas: -

p: los herbívoros corren

q: el frío en los polos es intenso

r: los planetas giran en torno al sol

Formalización: p ∨ q → r

EJERCICIO 4.03 Juan es francés si nació el 23 de febrero. Si es bretón, entonces es más bien
bajo. Ahora bien, nació el 23 de febrero o es bretón. Por consiguiente, es francés o es más bien
bajo.

Convenciones simbólicas: -

p: Juan es francés

q: Juan nació el 23 de febrero

r: Juan es bretón

s: Juan es más bien bajo

Formalización: q → p, r → s, q ∨ r ├ p ∨ s 2

EJERCICIO 4.04 Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro
Magno y, además, que si nació en Estagira era macedonio por su nacimiento, entonces era
efectivamente macedonio.

Convenciones simbólicas: -

p: Aristóteles nació en Estagira

q: Aristóteles fue tutor de Alejandro Magno

r: Aristóteles era macedonio por su nacimiento

Formalización: (p ∧ q) ∧ (p → r) → r

EJERCICIO 4.05 Un sólo proveedor no puede afectar los precios si el mercado es libre. Si un
sólo proveedor no puede afectar los precios, es que hay un gran número de proveedores. Es
así que no hay un gran número de proveedores; luego, no es libre el mercado.

Convenciones simbólicas: -

p: un sólo proveedor puede afectar los precios

q: el mercado es libre

r: hay un gran número de proveedores

Formalización: q → ¬p, ¬p → r, ¬r ├ ¬q

EJERCICIO 4.06 Si a es un número par y b es un número impar, entonces c es igual a a. Ahora

bien, c no es igual a a a menos que sea mayor que b. Pero c no es mayor que b. Además, a es
un número par. Luego, b no es un número impar.

Convenciones simbólicas: -

p: a es un número par

q: b es un número impar

r: c es igual a a

s: c es mayor que b

Formalización: p ∧ q → r, ¬r ∨ s, ¬s, p ├ ¬q

EJERCICIO 4.07 Si se elevan los precios o los salarios habrá inflación. Si hay inflación, el
gobierno ha de regularla o el pueblo sufrirá. Si el pueblo sufre, los gobernantes se harán más
impopulares. Pero es así que el gobierno no regulará la inflación y que, sin embargo, los
gobernantes no se harán más impopulares. Entonces es que no subirán los salarios.

Convenciones simbólicas:

p: se elevan los precios

q: se elevan los salarios

r: habrá inflación

s: el gobierno ha de regular la inflación

t: el pueblo sufre

u: los gobernantes se harán más impopulares

Formalización: p ∨ q → r, r → s ∨ t, t → u, ¬s ∧ ¬u ├ ¬q
 EJERCICIO 4.08 Si no hay subsidios del gobierno para la agricultura, hay controles sobre la
agricultura. Si hay controles sobre la agricultura, no hay depresión. Habrá depresión a no ser
que haya sobreproducción agrícola. Ahora bien, no hay sobreproducción. Por tanto, hay
subsidios del gobierno para la agricultura.

Convenciones simbólicas: -

p: hay subsidios del gobierno para la agricultura –

q: hay controles sobre la agricultura –

r: hay depresión –

s: hay sobreproducción agrícola

Formalización: ¬p → q, q → ¬r, r ∨ s, ¬s ├ p

EJERCICIO 4.09 Caso que ellos quieran la paz de verdad, y que nosotros seamos superiores en
armamento, obstaculizaremos la conferencia de desarme. Habrá guerra a no ser que dejemos
de obstaculizarla. Y la habrá sólo si ellos no desean verdaderamente la paz. Luego, es claro que
ellos no desean la paz de verdad.

Convenciones simbólicas: -

p: ellos quieren la paz de verdad –

q: nosotros somos superiores en armamento –

r: obstaculizamos la conferencia de desarme –

s: habrá guerra

Formalización: p ∧ q → r, s ∨ ¬r, s → ¬p ├ ¬p

EJERCICIO 4.10 Los salarios no suben si no aumentan los precios. No obstante, subirán los
salarios y no los precios, a no ser que suban los salarios y simultáneamente se produzca
inflación. Luego, en cualquier caso se producirá inflación.

Convenciones simbólicas: -

p: los salarios suben –

q: aumentan los precios –

r: se produce inflación

Formalización: ¬q → ¬p, (p ∧ ¬q) ∨ (p ∧ r) ├ r

EJERCICIO 4.11 Si el tiempo está agradable y el cielo despejado, saldremos a navegar y nos
daremos un baño. No es verdad que el cielo no esté despejado a menos que nos bañemos.
Luego el tiempo no está agradable.
Convenciones simbólicas: -

p: el tiempo está agradable –

q: el cielo está despejado –

r: saldremos a navegar –

s: nos daremos un baño

Formalización: p ∧ q → r ∧ s, ¬(¬q ∨ s) ├ ¬p

EJERCICIO 4.12 El ladrón debió entrar por la puerta, a menos que el robo se perpetrara desde
dentro y uno de los sirvientes estuviera implicado en él. Pero sólo podía entrar por la puerta si
alguien le descorría el cerrojo. Si alguien lo hizo, es que uno de los sirvientes estaba implicado
en el robo. Luego, seguro que algún sirviente ha estado implicado.

Convenciones simbólicas: -

p: el ladrón debió entrar por la puerta –

q: el robo se perpetró desde dentro –

r: uno de los sirvientes estuvo implicado en el robo –

s: alguien descorrió el cerrojo

Formalización: p ∨ (q ∧ r), p → s, s → r ├ r

EJERCICIO 4.13 La física cuántica describe la naturaleza a base de observables clásicos o a base
de estados abstractos. Si la describe mediante los primeros, entonces nos permite representar
las cosas intuitivamente, pero nos exige renunciar a la causalidad. En cambio, si la describe
mediante los segundos, nos impide la representación intuitiva, pero nos permite conservar la
causalidad. La física cuántica nos permitirá representar las cosas intuitivamente, a no ser que
nos exija renunciar a la causalidad. Por tanto, no es cierto que nos permita representar las
cosas intuitivamente sólo si no renuncia a la causalidad.

Convenciones simbólicas: -

p: la física cuántica describe la naturaleza a base de observables clásicos –

q: la física cuántica describe la naturaleza a base de estados abstractos –

r: la física cuántica nos permite representar las cosas intuitivamente –

s: la física cuántica nos permite conservar la causalidad

Formalización: p ∨ q, p → r ∧ ¬s, q → ¬r ∧ s, r ∨ ¬s ├ ¬(r → ¬¬s)

EJERCICIO 4.14 Perderé mi apuesta a no ser que la palabra “pentágono” signifique

“transparente”. Sucede que las figuras geométricas denominadas “triángulos” tienen
exactamente tres ángulos. Si los triángulos tienen tres ángulos, resulta que alguna relación
habrá entre las características de las figuras geométricas y los nombres que se les asignan. Y
esto es así sólo si la palabra “pentágono” no significa “transparente”. Luego, puedo dar mi
apuesta por perdida.

Convenciones simbólicas: -

p: perderé mi apuesta

q: la palabra “pentágono” significa “transparente”

r: las figuras geométricas denominadas “triángulos” tienen tres ángulos

s: hay alguna relación entre las características de las figuras geométricas y los nombres que se
les asignan

Formalización: p ∨ q, r, r → s, s → ¬q ├ p

EJERCICIOS PROPUESTOS

1.- Escriba en forma simbólica los siguientes enunciados

a) Si las exportaciones disminuyen entonces bajarán las utilidades

b) Los precios son altos si y sólo sí los costos aumentan

c) Si la producción aumenta entonces bajarán los precios

d) Si aumenta la demanda esto implica que aumenta la oferta y viceversa

e) Si la contaminación aumenta entonces existirá restricción vehicular adicional

1.1.- Formalizar el siguiente argumento: “Si una ciudad es vecina de otra, entonces la segunda
es vecina de la primera. Sevilla es vecina de Cádiz. Por tanto, Cádiz es vecina de Sevilla”.

2.- Determinar si los siguientes argumentos son lógicamente correctos:

 Si Juan es andaluz, entonces Juan es europeo. Juan es europeo. Por tanto, Juan es
andaluz.

 Cuando tanto la temperatura como la presión atmosférica permanecen contantes, no

llueve. La temperatura permanece constante. En consecuencia, en caso de que llueva,
la presión atmosférica no permanece constante.

 Siempre que un número x es divisible por 10, acaba en 0. El número x no acaba en 0.

Luego, x no es divisible por 10.

 En cierto experimento, cuando hemos empleado un fármaco A, el paciente ha

mejorado considerablemente en el caso, y sólo en el caso, en que no se haya
empleado también un fármaco B. Además, o se ha empleado el fármaco A o se ha
empleado el fármaco B. En consecuencia, podemos afirmar que si no hemos
empleado el fármaco B, el paciente ha mejorado considerablemente.
3.-Un rey somete a un prisionero a la siguiente prueba: lo enfrenta a dos puertas, de las que el
prisionero debe elegir una, y entrar en la habitación correspondiente. Se informa al prisionero
que en cada una de las habitaciones puede haber un tigre o una dama. Como es natural, el
prisionero debe elegir la puerta que le lleva a la dama (entre otras cosas, para no ser devorado
por el tigre). Para ayudarle, en cada puerta hay un letrero: puerta 1: en esta habitación hay
una dama y en la otra un tigre. puerta 2: en una de estas habitaciones hay una dama y en una
de estas habitaciones hay un tigre. Sabiendo que uno de los carteles dice la verdad y el otro
no, determinar la puerta que debe de elegir el prisionero.

4.- 1) Indicar cuáles de las siguientes expresiones son proposiciones, y en aquellas que lo sean
identificar cuáles son proposiciones son simples y cuáles son compuestas, y simbolizarlas:

a) Ángela y Fiorella son hermanas.

b) ¡Qué calor!

c) Hace calor.

d) Es sábado.

e) No es cierto que Juan habla francés e inglés.

f) Llueve.

g) Hace calor y tengo ganas de ir a la playa.

h) Tengo hambre, frío y no consigo un taxi.

i) Los alumnos de este curso son inteligentes o estudian mucho.

j) Si un número es divisible por 2 y por 3, es divisible por 6.

k) 5 es un número primo.

l) El príncipe se casará con Blancanieves o con Cenicienta.

m) Si llueve, entonces las calles están mojadas.

n) Si un alumno realiza correctamente el 70% del examen, está aprobado.

o) Para aprobar el examen se debe contestar correctamente los ítems 1 ó 2.

p) Victoria irá al estadio si, y sólo si, juega su amigo Adrián.

q) Los números 2 y 7 son primos.

r) Los estudiantes Diego y Fernando son primos.

s) En el restaurante pido como postre helado o flan.

t) ¿Qué hora es?

 u) Si la sequía persiste no sólo se secarán los pastos sino que aumentarán los incendios
forestales.

v) ¡Bravo! ¡Excelente!

5) Sea p: “llueve”, q: “hace frío”, r : “voy a la playa”. Expresar en lenguaje coloquial las
siguientes proposiciones:

a) (p  q) – r

b) (p  q) – r

c) –p- q

d) -(p  q)  r