Usuario:Penarete/ejercicio AB60

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

10.

Ningún número impar es divisible por dos.
Seis es sivisible por dos.
Ocho es divisible por dos.
Por tanto, ni seis ni ocho son números impares.

P(x) = x es impar
Q(x) = x es divisible por dos
s = seis
o = ocho

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