Usuario:Drodriguezp/ejercicio 3 AB11

B. Escribir una deduccion completa para cada uno de los razonamietos.

11.

 Todas las arañas son aracnidos.
 Todos los aracnidos tienen ocho patas.
 Charlotte es una araña.  
 Por tanto, Charlotte tiene ocho patas.

 P(x)= x es araña.
 Q(x)= x es aracnido.
 R(x)= x tiene ocho patas.
 P(c)= Charlotte es una araña.

 
 (1) ∀x( P(x) → Q(x))   (Premia)
 (2) ∀x( Q(x) → R(x))   (Premia)
 (3) P(c)               (Premia)
 (4) P(c) → Q(c)        (Particularización universal en 1 y 3)
 (5) Q(c)               (Modus Ponendo Ponens 3 y 5)
 (6) Q(c) → R(c)        (Particularización universal en 2 y 3)
 (7) R(c)               (Modus Ponendo Ponens 5 y 6)