Usuario:Drodriguezp/ejercicio 3 AB8

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

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

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)