Usuario:Fernando~eswikibooks/ejercicio6




== 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