Universidad del Quindı́o

Facultad de Ingenierı́a
Ingenierı́a de sistemas
Lógica Formal
Profesora: Alejandra M. Pulgarin
Taller 1.

1. Clasifique los siguientes argumentos como deductivamente premisas de un sorites, y el cuarto es la conclusión. Encuentre
válidos o deductivamente inválidos. Además diga cual de ellos los dos silogismos de que consiste el sorites, una vez construi-
es deductivamente consistente. dos indique su modo y figura.
a. Todos los que leen el Times son educados.
p→q Ningún topo puede leer.
∼p Todos los que son educados pueden leer.
q Ningún topo lee el Times.
b. Ninguna de las cosas rotas en esta repisa puede contener
Todos los cirujanos plásticos son ricos agua.
Algunos médicos son cirujanos plásticos Todos los objetos antiguos en esta repisa están rotos.
Algunos médicos son ricos Todos los jarros en esta repisa son objetos antiguos.
Ningún jarro en la repisa puede contener agua
Todos los peces son mamı́feros
Algunos animales terrestres son peces 3. Simblolice cada uno de los siguientes enunciados en lenguaje
Algunos animales terrestres son mamı́feros LP , usando las siguientes letras proposicionales:
p: Adriana juega tenis todos los dı́as
p→q q: Carolina juega tenis todos los dı́as
q r:Luis juega tenis todos los dı́as
p
a. Adriana Juega tenis todos los dı́as, al igual que Carolina.
Todos los quiteños viven en la capital de Ecuador
b. Luis no juega tenis todos los dı́as pero Carolina sı́.
Todos los caraqueños viven en la capital de Venezuela
Todos los Bogotanos viven en la capital de Colombia c. Adriana, Luis y carolina no juega tenis todos los dı́as.
Todos los limeños viven en la capital de Perú d. Ni Adriana, ni carolina ni Luis juegan tenis todos los dı́as.
4. Usando los átomos del ejercicio anterior, construya oraciones
p→q
gramaticalmente correctas en español a partir de las siguientes
p
formulas de LP .
q
a. (q ∨ p) ∧ r
Todos los búhos son sabios b. (r ∨ q)∨ ∼ (r ∨ q)
Algunos pájaros son búhos
c. r ∧ (p ∨ q)
Algunos pájoros son sabios
5. Usando los átomos del ejercicio 1, junto con los indicados a
Todos los poetas son imbéciles continuación, simbolice cada una de las siguientes afirmacio-
El ministro es poeta nes en LP.
El ministro es imbécil s: Luis es una persona muy ocupada
t: Carolina va al gimnasio
Todos los hobbits viven en la comarca u: Adriana goza de buena salud
Frodo vive en la comarca
Frodo es un hobbit a. Si Luis no es una persona muy ocupada, juega tenis todos
los dı́as.
Todos los seres humanos son inmortales
Sócrates es un ser humano b. Si Carolina juega tenis todos los dı́as, entonces si Luis no es
Sócrates es inmortal una persona muy ocupada él también juega tenis todos
los dı́as.
Anteayer llovió mucho c. Si Adriana goza de buena salud, juega tenis todos los dı́as,
Ayer llovió mucho entonces si Luis es una persona muy ocupada no juega
Hoy lloverá mucho tenis todos los dı́as.
d. Si Adriana no goza de buena salud, entonces Luis o Adria-
p→q na no juega tenis todos los dı́as.
∼q
∼p 6. Simbolice los siguientes argumentos en lenguaje LP . En cada
argumento es necesario primero identificar las premisas y la
conclusión. Posteriormente se deben identificar los átomos y
2. En la siguiente lista de enunciados, los tres primeros son las asignarles una letra prosicional.

1
a. Si ni Pedro ni Javier puede resolver la ecuación, Manuel va
a estar furioso. Y si Manuel está furioso, el experimen-
to no va a ser exitoso. Definitivamente el laboratorio no
recibirá recursos adicionales. Después de todo ni Pedro
ni Javier puede resolver la ecuación y el laboratorio re-
cibirá recursos adicionales si y sólo si el experimento es
exitoso.
b. Jorge no sabe lo que está haciendo o está siguiendo una
estrategia suicida. Si no sabe lo que esta haciendo, Jorge
va a perder la partida y si pierde la partida Jorge per-
derá mucho dinero. Por lo tanto Jorge perderá mucho
dinero.