El objeto de este trabajo es presentar un álgebra de Boole como un cálculo cuya estructura sea la misma que la de una lógica de enunciados, hasta llegar a definir unas TABLAS DE VERDAD de clases como “esquemas” que sean teoremas del álgebra de Boole definida.
- Cover
- Title page
- Copyright page
- Álgebra de boole: Presentada como un cálculo
- Introducción
- Capítulo 1: Nociones sobre logica de enunciados
- Capítulo 2: Nociones sobre clases
- Capítulo 3: Álgebra de boole y lógica de enunciados
- Capítulo 4: Presentación de un álgebra de boole como un cálculo
- Apéndice
- Bibliografía