Usuario:Fernando~eswikibooks/ejercicio 5
Apariencia
== 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
.