Usuario:Penarete/ejercicio AB65

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

5.

Para cada x, si x es un número, entonces x mas uno es mayor que x.
Cuatro es un número.
Por tanto, cuatro mas uno es mayor que cuatro.

P(x) = x es un número
Q(x) = x mas uno es mayor que x
P(c) = cuatro es un número

(1) ∀x( P(x) → Q(x) ) ________________ (premisa)
(2) P(c) _______________________________ (premisa)
(3) P(c) → Q(c) ________________________ (particularización del universal en 1)
(4) Q(c) ________________________________ (modus ponens 2,3)