Usuario:Drodriguezp/ejercicio 3 AB11

De Wikilibros, la colección de libros de texto de contenido libre.

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)