- PORTADA
- Introducción
- Unidad I. Lógica de Proposiciones
- Unidad II. Lógica de Predicados
- Unidad III. Programación Lógica
- Unidad IV. Álgebra de Boole y Circuitos Lógicos
- Evaluación General
- Glosario
- Referencias bibliográficas
- Créditos
2.2.2 La sintaxis de los predicados
Para representar un predicado, se debe colocar al término entre paréntesis. El predicado va a estar en función de dichos términos.[2] Ejemplos: Tom es un gato = Gato(Tom) María está triste = Triste(María) O María está triste o Rosa está feliz = Triste(María) v Feliz(Rosa) |