Usuario:Penarete/ejercicio AB64

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

4.

Ningún número es mayor que el mismo.
Tres es un número.
Por lo tanto, tres no es mayor que tres.

P(x) = x es un número
Q(x) = x es mayor que x
P(t) = tres es un número

(1) ∀x( P(x) → ￢Q(x) ) _____________ (premisa)
(2) P(t) _____________________________ (premisa)
(3) P(t) → ￢Q(t) ____________________ (particularización del universal en 1)
(4) ￢Q(t) ____________________________ (modus ponens 2,3)