Usuario:Penarete/ejercicio AB67

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

7.

Ninguna fracción es un entero.
Cuatro es un entero
Por tanto, cuatro no es un fracción.

P(x) = x es fracción
Q(x) = x es entero
Q(c) = cuatro es un entero

(1) ∀x( Q(x) → ￢P(x) ) _________________ (premisa)
(2) Q(c) _________________________________ (premisa)
(3) Q(c) → ￢P(c) ________________________ (particularización universal en 1)
(4) ￢P(c) ________________________________ (modus ponens 2,3)