Usuario:Penarete/ejercicio AB62

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

2.

Ningún presidente de los Estados Unidos fue un inmigrante.
John Quincy Adams fue un presidente de los Estados Unidos.
Por tanto, John Adams no fue un inmigrante.

P(x) = x es presidente de los Estados Unidos
Q(x) = x fue un inmigrante
P(j) = John Adams fue un presidente de los Estados Unidos

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