Usuario:Drodriguezp/ejercicio 3 AB4

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

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)