Inferencia con Cuantificadores

(Práctica)
Hacer la prueba formal de validez para los siguientes razonamientos:

∀𝑥(𝑄(𝑥) → 𝑃(𝑥)) ∀𝑥(𝑃(𝑥) → 𝑄(𝑥))

(1) ∃𝑥(𝑄(𝑥) ∧ 𝑅(𝑥)) (2) ∀𝑥(𝑄(𝑥) → ¬𝑅(𝑥))
∴ ∃𝑥(𝑅(𝑥) ∧ 𝑃(𝑥)) ∴ ∀𝑥 (𝑅(𝑥) → ¬𝑃(𝑥))

∀𝑥(𝑃(𝑥) → 𝑄(𝑥)) ∀𝑥(𝑃(𝑥) ∧ ¬𝑄(𝑥) → 𝐵(𝑥))

∀𝑥¬(𝑃(𝑥) → 𝑆(𝑥) ∨ 𝑇(𝑥)) ∀𝑥(¬(𝑄(𝑥) ∨ ¬𝐵(𝑥)) ∨ ¬𝑄(𝑥))
(3) (4)
∀𝑥(¬𝑅(𝑥 ) → 𝑆 (𝑥 )) ¬∃𝑥(¬𝑃(𝑥 ))
∴ ∀𝑥(𝑄(𝑥) ∧ 𝑅(𝑥)) ∴ ∀𝑥(𝐴(𝑥) → 𝐵(𝑥))

∃𝑥(𝑃(𝑥) → ¬𝑇(𝑥))
∀𝑥¬(𝑄(𝑥) → ¬𝑅(𝑥))
∃𝑥(¬𝐻(𝑥) → 𝑇(𝑥))
∃𝑥 (𝑃(𝑥) → ¬𝑅(𝑥))
(5) ∃𝑥(𝐻(𝑥) → 𝐺(𝑥)) (6) ¬∀𝑥(𝑅(𝑥) ∧ ¬𝑆(𝑥))
¬∃𝑥(𝐿(𝑥) → 𝑃(𝑥))
∴ ∃𝑥 (𝑆(𝑥))
∴ ∃𝑥(𝑃(𝑥) → 𝐺(𝑥))

∃𝑥(𝑆(𝑥) → 𝑅(𝑥) ∧ 𝑄(𝑥)) ∀𝑥 (𝑄(𝑥) → ¬𝑅(𝑥))

∀𝑥(𝑅(𝑥) → ¬𝑄(𝑥)) ∀𝑥(𝑃(𝑥) → 𝑄(𝑥) ∨ 𝑆(𝑥))
(7) ∀𝑥(𝑃(𝑥) → 𝑆(𝑥)) (8) ∃𝑥(𝑃(𝑥) ∧ 𝑅(𝑥))
∴ ∃𝑥(¬𝑃(𝑥)) ∴ ∃𝑥 (𝑃(𝑥) ∧ 𝑆(𝑥))

∀𝑥(¬𝑅(𝑥)) ∀𝑥(𝑃 (𝑥 ) → 𝑄 (𝑥 )) ∨ 𝑅(𝑎)

𝑃(𝑎) ∀𝑥(𝑅(𝑥) → 𝑇(𝑥))
(9) ∀𝑥 (𝑃(𝑥) → 𝑅(𝑥) ∨ 𝑄(𝑥)) (10)
∀𝑥(𝑇(𝑥) ∨ 𝑃(𝑥))
∴ ∃𝑥(𝑄(𝑥)) ∴ 𝑇(𝑎) ∨ 𝑄(𝑎)
(11) Ningún ecologista está a favor del uso de plaguicidas en el campo. Todos los que no
son ecologistas, ven alguna corrida de toros de vez en cuando. Así pues, todos los que
están a favor del uso de plaguicidas en el campo ven alguna corrida de toros.

(12) Todo número par es divisible por 2. Todo número divisible por 2 es múltiplo de 2. El
número 𝑎 no es múltiplo de 2. Por lo tanto, el número 𝑎 no es par.

(13) Todo el que estudia, aprueba o recibe un regalo. Hay quien estudia y no recibe ningún
regalo. Por lo tanto, no es verdad que todo el que estudia aprueba.

(14) Todos los banqueros son ricos. Todos los artistas son caprichosos. Ningún caprichoso
es rico. Carlos es banquero. Por lo tanto, Carlos no es artista.

(15) Todos los artículos rebajados están en malas condiciones o son anticuados. Nada que
esté en malas condiciones vale la pena comprarlo. Algunos artículos rebajados vale la
pena comprarlos. Por lo tanto, algunos artículos rebajados son anticuados.

(16) Todo número divisible por 32, se puede dividir por 4. Todo número divisible por 4 es
par. Todo número que no sea divisible por 2, no es par. 73 no es divisible por 2. Por lo
tanto. 73 no es divisible por 32.

(17) Ningún caballo sabe silbar. Ningún cerdo tiene alas. Todos los que no saben silbar
tienen alas. Por lo tanto, ningún caballo es cerdo.

(18) Todos los detectives descifran asesinatos. Cualquier detective que descifre un
asesinato, obtendrá una recompensa. Gabriel es un detective. Por lo tanto, Gabriel
obtendrá una recompensa.

(19) Algunas mansiones no tienen más de diez baños. Todas las mansiones son
construcciones lujosas. Por lo tanto, algunas construcciones lujosas no tienen más de diez
baños.
Ejercicios extras de selección simple: