Usuario:Drodriguezp/ejercicio 3 AB11

A. Simbolizar los siguientes razonamientos utilizando simbolos logicos tipicos de la aritmetica tales como +,>,<,etc., adecuadamente. editar

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

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)