Usuario:Drodriguezp/ejercicio 3 AB4

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

4.

 Cada numero negativo es menor que cero.
 Dos no es menor que cero.
 Por tanto, dos no es un numero negativo.
 
 P(x)= x es negativo
 Q(x)= x < 0
 P(d)= ￢(2 < 0)

 (1)∀x( P(x) → Q(x))  (Premisa)
 (2)P(d)              (Premisa)
 (3)P(d)  →  Q(d)     (Particularización del universal en 1)
 (4)Q(d)              (Modus ponens 2,3)