Diferencia entre revisiones de «Álgebra/Álgebra de Boole/Estructuras algebraicas que son álgebra de Boole»

Contenido eliminado Contenido añadido
Línea 651:
 
=== Lógica proposicional o de predicados ===
{{ap|Lógica proposicional}}
{{ap|Proposición}}
{{ap|Cálculo lógico}}
{{ap|Lógica matemática}}
{{ap|Lógica de primer orden}}
Una proposición, o un predicado, es un [[valor de verdad]] que puede expresarse de forma verbal o con expresiones o relaciones matemática o lógica, por ejemplo:
* 'Hoy es miércoles.'