Please enable JavaScript.
Coggle requires JavaScript to display documents.
lógica de predicados (parte 1) - Coggle Diagram
lógica de predicados (parte 1)
se puede definir como una extensión de la lógica de proposiciones que resuelve algunas limitaciones
predicados
se denotan con letras mayúsculas y están compuestos por parámetros
parametros
constantes
son elementos concretos del dominio en el que opera el predicados que por algún motivo son distintos o nos interesa resaltarlos
se representan a partir de la letra a
variables
son elementos genéricos del dominio en el que opera el predicado
se representan a partir de la letra x
con Minusculas
podemos sustituir las variables por constantes en un predicado
1 more item...
ejemplo
D(x)