e) Las computadoras son útiles y divertidas, y las compu-
Taller 2 de Desarrollo del Pensamiento Lógi-
co Matemático
Docente: Carlos Andrés Agudelo
Ejercicios extraı́dos de: Proofs and fundamentals. A First Course
in Abstract Mathematics. Bloch, Ethan D.
1. Para cada uno de los siguientes argumentos, si es válido, dé
una derivación, o haga una tabla de verdad y si no es válido,
muestra por qué.
a) Si Fishville es aburrido, entonces es difı́cil de encontrar.
Si Fishville no es pequeño, entonces es no es difı́cil de
encontrar Fishville es aburrido. Por lo tanto, Fishville es
pequeño.
b) Si el nuevo CD de The Geeks es ruidoso o tedioso, en-
tonces no es largo y no es cacofónico. El nuevo CD de
The Geeks es tedioso. Por lo tanto, el CD no es largo.
c) Si la comida es verde, no está bien cocida. Si la comida
es maloliente, entonces es dura. La comida es verde o
está rancia. Por lo tanto, la comida no está bien cocida o
es maloliente.
d) Si a Susan le gusta el pescado, entonces le gustan las
cebollas. Si a Susan no le gusta el ajo, entonces ella no
le gusta la cebolla. Si le gusta el ajo, entonces le gustan
las guayabas. A ella le gusta el pescado o le gusta el
cilantro. A ella no le gustan las guayabas. Por lo tanto, a
Susan le gusta cilantro.
e) No es el caso que Fred toque guitarra y flauta. Si Fred
no toca la guitarra y no toca la flauta, entonces toca el
órgano y el arpa. Si él toca el arpa, entonces toca el
órgano. Por lo tanto, Fred toca el órgano.
f ) Si robas un banco, vas a la cárcel. Si vas a la cárcel, no
te diviertes. Si tienes vacaciones, te diviertes. Robas un
banco o tienes unas vacaciones. Por lo tanto, vas a la
cárcel o te diviertes.
2. Escriba una derivación para cada uno de los siguientes argu-
mentos (usando las leyes de la deducción), los cuales son to-
dos válidos. Indique si las premisas son consistentes o incon-
sistentes
a) Si las amebas pueden bailar, entonces son amigables. Si
las amebas enferman a las personas, entonces no son
amigables. Las amebas pueden bailar y enferman a la
gente. Por lo tanto las personas son amigables.
b) Si los jabalı́es son inteligentes, entonces son interesan-
tes. Los Jabalı́es no son interesantes o son astutos. No es
el caso que los jabalı́es son agradables o no inteligentes.
Por lo tanto, los jabalı́es son astutos.
c) No es el caso que la ropa sea molesta o no sea barata. La
ropa no es barata o está fuera de moda. Si la ropa está
pasada de moda, es tonta. Por lo tanto la ropa es tonta.
d) Si la música alivia el alma, entonces las almas tienen
oı́dos. La música alivia el alma o los músicos están tran-
quilos No es el caso que las almas tengan oı́dos o los
músicos estén tranquilos. Por lo tanto, los músicos tie-
nen alma.
tadoras consumen mucho tiempo. Si las computadoras
son difı́ciles de usar, entonces no son divertidas. Si las
computadoras no están bien diseñadas, entonces son
difı́ciles de usar. Por lo tanto, las computadoras están
bien diseñadas.
f ) Si a Marcus le gusta la pizza, entonces le gusta la cerve-
za. Si a Marcus le gusta la cerveza, entonces él no come
la pizza de arenque. Si a Marcus le gusta la pizza, en-
tonces le gusta la pizza de arenque. A Marcus le gusta la
pizza. Por tanto le gusta la pizza de arenque.
3. Identifique la falacia o falacias en cada uno de los siguientes
argumentos.
a) Buenas vallas hacen buenos vecinos. Por lo tanto, tene-
mos buenos vecinos.
b) Si Fred come una rana, entonces Susan comerá una ser-
piente. Fred no come una rana Por lo tanto, Susan no
come una serpiente.
c) La vaca muérete cada vez que el cerdo se empaña. La
vaca moos. Por lo tanto, el cerdo oinks.
d) Un buen dı́a es suficiente para retozar niños o tomar sies-
tas en adultos. Los adultos son siesta Por lo tanto, es un
buen dı́a.
e) Si mi conejo come una hamburguesa, ella se enferma.
Si mi conejo se enferma, entonces ella es infeliz Por lo
tanto, mi conejo se enferma.
f ) Si Snoozetown elige un alcalde, entonces aumentará los
impuestos. Si Snoozetown no lo hace aumentar los im-
puestos, entonces no construirá un nuevo estadio. Snoo-
zetown no elige un alcalde. Por lo tanto, no construirá
un nuevo estadio.
4. Sea p: “El es fuerte”y q: “El es inteligente.”Escribir en forma
simbólica los siguientes enunciados:
a) El es fuerte e inteligente.
b) El es fuerte pero no es inteligente.
c) El no es fuerte ni inteligente.
d) Ser fuerte es suficiente para ser inteligente.
e) El es débil sólo si no es inteligente.
5. Sabiendo que p es falsa, q es verdadera y r es falso, hallar el
valor de verdad de las siguientes proposiciones compuestas
por medio de la tabla de verdad.
a) ¬(p → ¬q) ↔ (p ∧ q)
b) p → (q ∧ r)
c) ¬q → (¬p ∧ q)
d) (¬p ∧ ¬q) → (p ∨ r)
6. Comprobar por medio de una tabla de verdad que las siguien-
tes esquemas compuestas son tautologı́as, contingentes o con-
tradictorios.
a) (p ∨ q) ↔ (q ∨ p)
b) [(p → q) ∧ (q → r)] → (p → r)
c) [p ∧ (p → q)] → q
 d) (p → q) ↔ (¬q → ¬p) b) Estudié

7. Probar la validez de los siguientes razonamientos. (Deducti- c) No perderé matemáticas

vamente, Enumerando los pasos y poniendo al frente la regla d) Jugué baloncesto
de deducción aplicada)
10. Niegue las siguientes proposiciones
a) ¬p
a) 12 es un número par
¬(p ∧ q) b) Estas dos rectas son paralelas
c) Todos los hombres son mortales
b) q → r d) Algunos deportistas son ciclistas
p∨q
e) Ningún loro vive en el polo norte
p∨r 11. Suponga que los valores posibles de x son todas las personas.
Sean Y (x) : “x tiene el cabello verde ”, Z(x) : “x le gusta el
c) ¬q → ¬p encurtido ”y W (x) : “x tiene una rana de mascota”. Traduzca
q→r las siguientes afirmaciones en palabras:

p→r a) (∀x)Y (x) d) (∃x)(Y (x) → W (x))

b) (∃x)Z(x)
d) r → q c) (∀x)(W (x) ∧ Z(x)) e) (∀x)(W (x) → ¬Z(x))
¬p → ¬q
r∨t 12. Suponga que los valores posibles de x e y son todos los autos.
¬p Sean L(x, y) : “x es mas rápido que y ”, M (x, y) : “x es mas
costoso que y”y N (x, y) : “x es mas antiguo que y”. Traduzca
t las siguientes afirmaciones en palabras:

e) p ∨ q a) (∃x)(∀y)L(x, y) c) (∃y)(∀x)(L(x, y) ∨ N (x, y))

t∨s b) (∀x)(∃y)M (x, y) d) (∀y)(∃x)(¬M (x, y) → L(x, y))
t → (¬p ∨ ¬q)
r
13. Suponga que los valores posibles de y son todas las vacas.
q∨s Sean P (y) : “y es café ”, Q(y) : “y tiene cuatro años ”y R(y)
: “y tiene manchas blancas”. Traduzca las siguientes afirma-
ciones en sı́mbolos:
f) t → p
p → (r → q) a) Hay una vaca café.
r b) Todas las vacas tienen cuatro años.
c) Hay una vaca café con manchas blancas.
¬q → ¬t
d) Existe una vaca si tiene cuatro años de edad, entonces
no tiene manchas blancas.
8. Hallar la conclusión de las siguientes proposiciones: Si el par-
e) Todas las vacas son cafés si y solo si no tienen cuatro
tido A gana las elecciones, tendrá mayorı́a en el congreso. Si
años de edad.
tiene mayorı́a el presidente podrá cumplir el programa de go-
bierno propuesto. O el presidente no podrá cumplir el pro- f ) No hay vacas cafés.
grama propuesto o la oposición lo atacará duramente pero la
14. Suponga que los valores posibles de p y q son todas las frutas.
oposición no lo atacará duramente. Justifique su respuesta me-
Sean A(p, q) : “p es mas dulce que q”, B(p, q) : “p está mas
diante esquema deductivo y evidenciando la regla utilizada en
madura que q ”y C(p, q) : “p es de la misma especie que q”.
cada caso.
Traduzca las siguientes afirmaciones en sı́mbolos:
a) El partido A ganará las elecciones
a) Hay una fruta tal que todas las otras frutas son mas dul-
b) La oposición lo atacará duramente ces.
c) El partido A no ganará las elecciones b) Para cualquier fruta, existe una fruta que es mas madura.
d) El partido A tendrá mayorı́a en el congreso. c) Hay una fruta tal que todas las otras frutas son mas dul-
ces pero no mas maduras.
9. Si estudio, entonces no perderé matemáticas. Si no juego ba-
loncesto, entonces estudiaré. Pero perdı́ matemáticas. Justifi- d) Para toda fruta, hay otra fruta de la misma especie que
que su respuesta mediante esquema deductivo y evidenciando no es mas dulce.
la regla utilizada en cada caso.

a) No jugué baloncesto