Manejo de predicados y sus valores de verdad.

LOGICA DE PREDICADOS

La principal debilidad de la lógica proposicional es su limitada habilidad para expresar conocimiento. Existen varias sentencias complejas que pierden mucho de su significado cuando se les representa en lógica proposicional. Por esto se desarrolló una forma lógica más general, capaz de representar todos los detalles expresados en las sentencias, esta es la lógica de predicados.
La lógica de predicados está basada en la idea de que las sentencias realmente expresan relaciones entre objetos, así como también cualidades y atributos de tales objetos. Los objetos pueden ser personas, objetos físicos, o conceptos. Tales cualidades, relaciones o atributos, se denominan …ver más…

No obstante, véanse los siguientes ejemplos de utilización de los operadores básicos.
Ejemplos de operadores
CIENTÍFICO(CARLOS_MARX) Ù ALEMAN(CARLOS_MARX) (Y)
Carlos Marx es un científico alemán
CIENCIA(LÓGICA)Ú DISCIPLINA(LÓGICA) (O)
La lógica es ciencia o disciplina
DEPORTE(CICLISMO) Ù ¬DECONJUNTO(CICLISMO) (No)
El ciclismo no es un deporte de conjunto.
CULTURA(LA_CIENCIA) Þ APOYAR(LA_CIENCIA) (Sí...entonces)
Si la ciencia es cultura entonces debe apoyarse

INTRODUCCION MATEMATICA

La declaración de función, variables y cuantificadores

* Función:

Asumiendo que un conjunto es una determinada colección de entidades, tenemos que entre conjuntos cabe establecer relaciones. Una relación entre dos conjuntos tiene una dirección, va de un conjunto al que llamaremos origen a otro conjunto que llamamos imagen. Para ciertas relaciones el conjunto origen y el conjunto imagen coinciden, son el mismo conjunto. Pues bien, una función es una relación entre dos conjuntos que satisface la condición de que a cada entidad del conjunto origen le corresponde una única entidad del conjunto imagen.
Las entidades del conjunto origen de una función son denominadas "argumentos de la función". Las entidades del conjunto imagen que corresponden a los argumentos de una función son denominados: valores de la