Usuario:Drodriguezp/ejercicio 3 AB8

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]

8.

 Para cada x, si x es igual a diez, entonces x es mayor que ocho.
 Cinco mas cinco es igual a diez o cinco mas tres es igual a diez.
 Cinco mas tres no es igual a diez.
 Por tanto, cinco mas cinco es mayor que ocho.
 P(x)= x = 10
 Q(x)= x > 8
 R(x)= 5 + 5 = 10 
 S(x)= 5 + 3 = 10
 
(1) ∀x( P(x) →  Q(x))    (Premisa)
(2) Q(x)  v  R(x)        (Premisa)
(3) ¬(R(x))              (Premisa)
(4) ¬Q(x)