Usuario:Penarete/ejercicio AB64

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

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)