Usuario:Penarete/ejercicio AB66

A. Simbolizar las siguientes premisas y conclusiones. Cada ejemplo incluye un término. Utilizar letras minúsculas para simbolizar términos.

6.

Todos los loros son pájaros.
Todos los pajarós son vertebrados.
Polly es un loro.
Por tanto, Polly es un vertebrado.

P(x) = x es loro
Q(x) = x es pájaro
R(x) = x es vertebrado
P(p) = Polly es un loro

(1) ∀x( P(x) → Q(x) ) _________________ (premisa)
(2) ∀x( Q(x) → R(x) ) _________________ (premisa)
(3) P(p) → Q(p) ________________________ (particularización del universal en 1)
(4) Q(p) → R(p) ________________________ (particularización universal en 2)
(5) P(p) → R(p) ________________________ (silogismo)
(6) P(p) ________________________________ (premisa)
(7) R(p) ________________________________ (modus ponens 5,6)