En cálculo de predicados tenemos expresiones con variables, las variables pertenecen a un conjunto o dominio previamente determinado. Por lo que es muy importante definir el dominio cuado interpretamos una fórmula mediante un predicado específico.
Ejemplo:
x es alumno del ITT, que se podría representar por T(x), aquí el predicado T es “alumno del ITT” y el dominio podría ser el conjunto de los estudiantes de Tijuana. Otro caso es: x es azul, se representa A(x), el predicado “es de color azul” y podemos poner el dominio como el conjunto de los libros.
Una variable, en estos casos x, represente un valor cualquiera del dominio dado, y cuando le asignamos un valor específico a la variable se llama instancia o lo que programa menciona como particularición.
Así por ejemplo: Juan Pérez es alumno del ITT es una instancia del primer ejemplo y Mi libro de matemáticas es azul es una instancia del segundo ejemplo.
En el primer caso prodríamos considerar como dominio el conjunto de todos los alumnos de Tijuana, también podría ser sólo los alumnos de nivel profesional o también podríamos tener a todos los alumnos de México. Por eso es muy importante que se especifique con toda claridad el dominio.
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario