Usuario:Penarete/ejercicio AB63

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.


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)