Ingeniería de Sistemas

Lógica y algoritmia
Primer semestre - 2019
TALLER DE LÓGICA PROPOSICIONAL

1. De los siguientes enunciados, determina cuáles son proposiciones.

a. Es primavera.
b. ¿Juan es amigo de Pedro?
c. Algunos estudiantes estudian y aprueban.
d. Cierra la puerta
e. El cielo es azul y los campos son verdes.

2. Sean p, q y r los enunciados p: Tienes un 5 en el examen final q: Haces todos

los ejercicios del taller
r: Tienes un 5 en esta asignatura

Expresa estos enunciados usando p, q y r y conectivos lógicos.

• Tienes un 5 en el examen final, pero no haces todos los ejercicios del taller.
• Tienes un 5 en el examen final, haces todos los ejercicios del taller y tienes
un 5 en esta asignatura.
• Para tener un 5 en esta asignatura es necesario tener un 5 en el examen
final.
• Tienes un 5 en el examen final, pero no haces todos los ejercicios del taller;
no obstante, tienes un 5 en esta asignatura.
• Tener un 5 en el examen final y hacer todos los ejercicios del taller es
suficiente para tener un 5 en esta asignatura.
• Tendrás un 5 en esta asignatura si, y sólo si, tienes un 5 en el examen final
o haces todos los ejercicios del libro.

3. Escribe con las conectivas y símbolos de la lógica proposicional las siguientes

proposiciones.

a. No es cierto que no me guste bailar

b. Me gusta bailar y leer libros de ciencia ficción.
c. Si los gatos de mi hermana no soltaran tanto pelo me gustaría
acariciarlos.
d. Si y sólo si viera un marciano con mis propios ojos, creería que hay vida
extraterrestre.
e. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un
energúmeno.
f. Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy
como una regadera y dejaría que me internaran en un psiquiátrico.
g. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello
y no tengo que ir a trabajar.

4. Escribe con las conectivas y símbolos de la lógica proposicional las siguientes

proposiciones (utiliza las mismas letras de proposición cuando las proposiciones
sean idénticas).
Ingeniería de Sistemas
Lógica y algoritmia
Primer semestre - 2019
a. María estudiará durante todo el verano si no aprueba lógica ni
programación.
b. María aprueba lógica hará una fiesta y sino estudiará durante el verano.
c. María no hará una fiesta ni se irá de viaje si no aprueba lógica ni
programación.
d. Si María aprueba lógica hará una fiesta, pero si aprueba programación
se irá de viaje.

5. Determina cuáles de las siguientes frases no se correspondería con la

estructura: 𝑝 → ~𝑞

Damos símbolos a las proposiciones:

p: bebes/beber q: conduces/conducir

a. Si bebes entonces no conduces.

b. Bebe solo si no conduces.
c. No conduces sí bebes.
d. No conducir es necesario para beber.
e. No bebas a menos que no conduzcas.
f. A pesar de que no bebes no conduces.
g. Beber es suficiente para no conducir.

6. Proporciona frases que correspondan a la siguiente formalización:

a. 𝑝 → (𝑞 𝑣 𝑟)
b. (~𝑞 ˄ ~𝑟) → ~𝑝
c. ~𝑝 → (𝑞 ↔ 𝑟)
d. (𝑝 𝑣 𝑞)˄~(𝑝 ˄ 𝑞)

7. Traducir la siguiente frase, utilizando proposiciones:

Si la noche es clara, Drácula agitará sus alas y afilará sus dientes. Si agita sus alas
y encuentra mi ventana abierta, pasará, me despertará, pero le daré un fuerte tirón
de orejas. Si afila sus dientes y la encuentra cerrada, montará en cólera, romperá
los cristales y le daré un fuerte tirón de orejas. Así pues, si la noche es clara y
Drácula encuentra la ventana abierta o cerrada, le daré un fuerte tirón de orejas.

8. Traducir la siguiente frase, utilizando proposiciones:

Si los habitantes de Venus invaden la Tierra, entonces los hombres se pondrán

nerviosos o las mujeres se entusiasmarán. Si los hombres se ponen nerviosos, las
mujeres se entusiasmarán. Por tanto, si los habitantes de Venus invaden la Tierra,
las mujeres se entusiasmaran.

9. Traducir la siguiente frase, utilizando proposiciones:

 Ingeniería de Sistemas
Lógica y algoritmia
Primer semestre - 2019
Si un animal fabuloso se enfada, te quedas paralizado del susto y si te quedas
paralizado del susto, entonces no puedes sino apelar a su bondad y así no ser
engullido. Por lo tanto, si un animal fabuloso se enfada, tendrás que apelar a su
bondad o serás engullido.

10. Formaliza los siguientes enunciados:

• El certificado tiene validez, si está firmado por el director o el coordinador.

• Si no es verdad que Freire sea idealista o conductista, entonces no es

idealista y no es conductista.

• Muero si no muero, y si muero no muero.

• La inflación aumentará, a menos que baje la emisión de moneda u ocurra un

milagro.

• Si Buenos Aires es y no es la capital de Argentina, entonces Roma es la

capital de Francia.

11. Traduce al lenguaje formal y construye la tabla de verdad de las siguientes

expresiones:

• Si Dios no existe, todo está permitido. Pero, o Dios existe o no existe. Por lo
tanto, o todo está permitido o Dios existe.

• Si estás enfermo no necesitas un médico, dado que o te curas o te mueres.

Si te curas no necesitas un médico y si te mueres tampoco lo necesitas.

• Si el rey de Argentina es calvo, entonces hay un rey de Argentina. Si el rey

de Argentina no es calvo, entonces hay un rey de Argentina. No hay un rey
de Argentina. Por lo tanto, el rey de Argentina es calvo si y sólo si el rey de
Argentina no es calvo.

12. Fíjate en las proposiciones y formaliza las expresiones que figuran a

continuación:

p = Argentina se moviliza. q = Brasil impone

restricciones económicas. r = Cuba sigue
enviando armas a Sudamérica.
s = La república Dominicana apela a las Naciones Unidas.

• Argentina se moviliza y, o bien Brasil impone restricciones comerciales, o bien Cuba

sigue enviando armas a Sudamérica.
 Ingeniería de Sistemas
Lógica y algoritmia
Primer semestre - 2019
• bien Argentina se moviliza y Brasil impone restricciones comerciales, o bien Cuba
sigue enviando armas a Sudamérica.

• Argentina no se moviliza, pero Brasil impone restricciones comerciales.

• bien Argentina se moviliza, o bien Brasil no impone restricciones comerciales.

• No se da el caso de que Argentina se movilice y Brasil imponga restricciones

comerciales.
• No se da el caso de que, o bien Argentina se movilice, o bien Brasil no imponga
restricciones comerciales.

• bien Argentina se moviliza y Brasil impone restricciones comerciales o bien no se da

el caso de que Cuba siga enviando armas a Sudamérica y que la República
Dominicana apele a las Naciones Unidas.

• bien Brasil impone restricciones comerciales y la República Dominicana apela a las

Naciones Unidas o bien Cuba sigue enviando armas a Sudamérica o Argentina se
moviliza.

• Argentina se moviliza y, o bien Brasil impone restricciones comerciales, o Cuba

sigue enviando armas a Sudamérica y la República Dominicana apela a las
Naciones Unidas.

• bien Cuba no sigue enviando armas a Sudamérica o bien la República Dominicana

no apela a las Naciones Unidas, y ni Argentina se moviliza ni Brasil impone
restricciones comerciales.

13. Desarrolla las tablas de verdad de las siguientes expresiones lógicas:

• ~(𝑝 ˄ 𝑞) ↔ (~𝑝 𝑉 ~𝑞)
• ~(𝑝 ˄ ~𝑝)
• (𝑝 𝑉 𝑞) ↔ (𝑞 ↔ 𝑝)
• [𝑝˄(𝑞 𝑉 𝑟)] ↔ [(𝑝 ˄ 𝑞)𝑉 (𝑝 ˄ 𝑟)]
• [𝑝 → (𝑞 𝑉 𝑟)] ↔ [(𝑝 → 𝑞) 𝑉 (𝑝 → 𝑟)]
Ingeniería de Sistemas
Lógica y algoritmia
Primer semestre - 2019