Usuario:Penarete/ejercicio AB63

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

3.

Cada número par es divisible por dos.
Diez es un número par.
Ocho es un número par.
Por tanto, ocho y diez son divisibles por dos.

P(x) = x es par
Q(x) = x es divisible por dos
P(d) = diez en un número par
P(o) = ocho es un número par

(1) ∀x( P(x) → Q(x) ) _____________ (premisa)
(2) P(d) ____________________________ (presmisa)
(3) P(o) ____________________________ (premisa)
(4) P(d) → Q(d) _____________________ (particularización universal en 1)
(5) P(o) → Q(o) _____________________ (particularización universal en 1)
(6) Q(d) _____________________________ (modus ponens 2,4)
(7) Q(o) _____________________________ (modus ponens 3,5)
(8) Q(d) ^ Q(o) ______________________ (conjunción)