Usuario:Penarete/ejercicio AB61

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

1.

Todos los perros son animales.
Lassie es un perro.
Por tanto Lassie es un animal.

P(x) = x es perro
Q(x) = x es animal
P(l) = Lassie es un perro

(1) ∀x( P(x) → Q(x) ) ______________ (premisa)
(2) P(l) _____________________________ (premisa)
(3) P(l) → Q(l) ______________________ (particularización del universal en 1)
(4) Q(l) ______________________________ (modus ponens 2,3)