Usuario:Penarete/ejercicio AB68

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

8.

Todos los números negativos son menores que cero.
Seis no es menor que cero.
Por tanto, seis no es un número negativo.

P(x) = x es un número negativo
Q(x) = x es menor que cero
Q(s) = seis es menor que cero

(1) ∀x( P(x) → Q(x) ) _________________ (premisa)
(2) P(s) → Q(s) ________________________ (particularización universal en 1)
(3) ￢Q(s) ______________________________ (premisa)
(4) ￢P(s) ______________________________ (modus tollens 2,3)