docoo
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.
--