# data[].attributes.body
El Cuantificador Universal se utiliza para representar conjuntos que afirman que todos los individuos del dominio cumplen el predicado. El símbolo para representar el cuantificador universal es: ∀, y se lee “Para todo”.

# data[].attributes.body
El Cuantificador Existencial se utiliza para representar conjuntos que afirman que algún individuo del dominio (o más de uno) cumplen el predicado. El símbolo para representar el cuantificador existencial es: ∃, y se lee “Existe”.

# data[].attributes.body
El Cuantificador Existencial Negado se utiliza para representar conjuntos que afirman que ningún individuo cumple el predicado. El símbolo para representar el cuantificador existencial negado es: ∄, y se lee “No existe”.

# data[].attributes.body
Una constante es el nombre formal que utilizamos dentro del diccionario para representar a un individuo de nuestro dominio.
Será necesario definir una constante por cada individuo del dominio, por lo cual, nuestro diccionario tendrá tantas constantes como individuos necesitemos mencionar.

# data[].attributes.body
Una propiedad es un adjetivo, una cualidad, característica o atributo que puede aplicarse a un individuo perteneciente a un dominio.

# data[].attributes.body
Una variable representa a un individuo dentro de una propiedad o relación, pero que al momento de definirla, desconocemos cuál es. Para esta representación se utilizan letras. Por convención se utilizan x, y, z, etc. El valor que tome “x” va a depender de como definimos el dominio para esa variable

# data[].attributes.body
Las relaciones vincula dos individuos del mismo o distintos dominios, a través de una característica o situación. Al igual que una propiedad, se aplica sobre individuos, pero en lugar de aplicar sobre un sólo individuo, se aplica sobre dos.

# data[].attributes.body
El dominio es el conjunto de valores que puede tomar cada individuo al cual le queremos aplicar una propiedad o relación. Básicamente, es el conjunto de individuos que queremos representar. Contamos con 2 maneras de definir el dominio: por extensión y por comprensión.

Por extensión: enumerando uno por uno cada valor. Ejemplo: Dominio = [“La vida es bella”, “El hijo de la
novia”, “Tiempo de valientes”, “Duro de matar”]. Este caso se utiliza para conjuntos muy reducidos.
Por comprensión: simplemente mencionando el nombre del conjunto, por ejemplo: Dominio = películas.
Es importante saber que puede coexistir más de un dominio. Las oraciones más interesantes manejan 2 dominios.

# data[].attributes.body
Los parámetros a un individuo de mi universo, que al momento de la definición de mi predicado , no sabemos quien es. Y también me permite determinar al orden en el que se aplica una relación entre varios individuos.

# data[].attributes.body
El orden en el que aplicamos la relación a los distintos individuos, da como resultado diferentes proposiciones pudiendo tener diferentes valores de verdad.

# data[].attributes.body
Las relaciones pueden estar dadas en términos de otras relaciones.

# data[].attributes.body
Este lenguaje nos va a permitir formalizar oraciones sobre individuos, sobre sus propiedades, y sobre cómo esos individuos se relacionan entre sí.

# data[].attributes.body
Se lo conoce como diccionario del lenguaje al conjunto de variables definidas con nociones semánticas para su uso en una traducción o formalización.