Usuario:Drodriguezp/ejercicio 3 AB6

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.

6.

 Cada numero divisble por dos es par.
 Cuatro o es impar o un numero divisible por dos.
 Cuatro no es impar.
 Por tanto, cuatro es par.

 P(x)= x es divisible por dos.
 Q(x)= x es par.
 R(x)= x es impar.
 P(c)= cuatro
 
 (1) ∀x( P(x) →  Q(x))  (Premisa)
 (2) R(x) v P(x)        (Premisa)
 (3) ￢R(x)              (Premisa)