Ir al contenido

Usuario:Fernando~eswikibooks/ejercicio 5

De Wikilibros, la colección de libros de texto de contenido libre.



== CáLCULO DE PREDICADOS ==

[editar]


Problemas 2.1

[editar]

ejercicio 5


Exprese "No existen números naturales negativos", suponiendo que el universo de discurso es:


a) El conjunto de los números naturales


b) El conjunto de los números enteros


n(x) = x es un número natural


p(x) = x es un número negativo


¬ ∃x {n(x) ∧ p(x)}

[editar]

c) El conjunto de los números naturales


.