Estructura (lógica proposicional)

La lógica proposicional tiene una estructura de un álgebra de boole

1. Cada premisa genera un particionado sobre el conjunto total y describe un elemento en del boleano de este asignando un valor {1,0} o {V,F}.
2. El conjunto total es $A$ y es el supremo, tiene asignado un 1.
3. El conjunto vacío también esta y tiene asignado un 0.
4. La conjunción "o" se identifica con la suma.
5. La conjunción "y" se identifica con el producto.
6. La negación se identifica con el complementario.