Usuario:Fernando~eswikibooks/ejercicio6
== CáLCULO DE PREDICADOS ==
editar
Problemas 2.1
editarejercicio 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)}
editarc) El conjunto de los números naturales