Ejercicios
1. La biología estudia la vida entonces, estudia las células de todos los seres vivos. La biología
estudia la vida. Por lo tanto, la biología estudia las células de los seres vivos.
P=Biologia estudia vida
q=Biologia estudia células vivas
P→q p→q
P p
q ∼q
q∧∼q=Falso
Valido mediante Modus Ponens
2. No tienes hambre y, tienes que comer si tienes hambre. Por consiguiente, no tienes que
comer.
P q→p
∼q→p ∼p
∼q ∼q
Valido mediante Modus Tollens
3. Si no me dan el trabajo, entonces, sigo viviendo con mis padres. Si sigo viviendo con mis
padres, entonces, no aprendo a ser independiente. Aprendo a ser independiente o seré un
mantenido. No seré un mantenido. Por lo tanto, me dan el trabajo.
∼p→ q ∼p→q
q→∼r q→∼r
rvs r
∼s p
Valido mediante Modus Tollens
4. Si Perú es un país, entonces Perú tiene capital. Si un año tiene 365 días, un año tiene 12
meses. Perú no tiene capital o un año no tiene 12 meses. En consecuencia, Perú no es un país
o un año no tiene 365 días.
p→ q p→ q
r→s ∼q
∼q v∼s ∼r
∼ p v∼r ∼ p v∼r
p→ q ∼p ∼p
r→s ∼r ∼p
∼s pvr ∼p∧∼p
∼q ∼p
∼ p v∼r
Valido mediante Modus Tollens
5. Si esta es una sociedad matriarcal, entonces el hermano de la madre es el cabeza de familia.
Si el hermano de la madre es el cabeza de familia, entonces el padre no tiene autoridad. Esta
es una sociedad matriarcal. Por lo tanto, el padre no tiene autoridad.
p→ q p→ ∼q
q→∼r q
p ∼r
∼r
Valido mediante Modus Ponens
6. Si tengo hambre voy al restaurante. Si tengo sed entonces compraré agua. Tengo hambre o
tengo sed. Por lo tanto, voy al restaurante o compraré agua.
p→ r p→ r
q→s q →s r
pvq p s
r vs q rvs
rvs
Valido mediante Modus Ponens
7. En el cumpleaños de mi esposa la llevaré a cenar afuera. Es el cumpleaños de mi esposa o
trabajo hasta tarde, a la vez, hoy no llevé a mi esposa a cenar afuera. Por consiguiente, hoy
trabaje hasta tarde.
p→ q pvr
qvr ∼p
∼q r
Valido mediante Modus Tollens
8. Si llueve el lunes, entonces me mojo. Si me mojo, entonces me enfermo. Si es abril,
entonces no llueve el lunes. Sucede que llueve el lunes. Por lo tanto, no es abril y me enfermo.
Concluya válidamente en las siguientes inferencias.
p→ q s→ ∼p
q→r q →r s→∼p
s → ∼p q r
∼s ∧ r ∼s ∧ r ∼s ∧r
Valido mediante Modus Ponens
9. Rita está horneando un pastel. Si Rita está horneando un pastel, entonces no está
practicando guitarra. Si Rita no está practicando guitarra entonces su padre no pagará el
seguro del carro. Por lo tanto:
p→ q ∼q →∼r
∼q→∼r ∼q
∼r ∼r
Valido mediante Modus Ponens
10. Si trabajo, no puedo estudiar. Estudio o apruebo matemáticas. Trabajé. Por lo tanto
p→∼q
q vr qvr
p ∼q
r r
Valido mediante Modus Ponens
