Usuario:Penarete/ejercicio AB67

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.


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)