- 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
1.1 El lenguaje formal de la lógica de proposiciones
Para comenzar con el estudio de la lógica de proposiciones, es necesario primero comprender conceptos y definiciones escenciales. Es muy importante identificar a la lógica proposicional como un lenguaje formal para modelar fenómenos o procesos computacionales.[2]
|