2.2.1 El alfabeto de los predicados

 

Los componentes la lógica de predicados son los siguientes:

- Términos
- Predicados
- Conectivos lógicos
- Variables
- Cuantificadores
Estos elementos se verán explicados más adelante a lo largo de la unidad.[2]