Por lo general, un literal es una variable proposicional o su negación, por lo que puede (bastante obviamente) interpretarse como alguna proposición (o evento o hecho) o su negación. Es razonable decir que cada fórmula se puede desmontar en literales.
Sin embargo, esto se define con respecto a los lenguajes proposicionales, no a las álgebras booleanas.
En álgebras booleanas a veces se tienen “átomos”. Son elementos de un álgebra booleana que se ubican “inmediatamente después” de 0 del álgebra booleana o, en otras palabras, son elementos que cualquier otro elemento de ese BA puede obtenerse mediante operaciones binarias en los átomos.
- ¿Cómo debo cuidar a un cachorro de 1 mes y medio?
- ¿Podría Shinichi Mochizuki haber usado razonablemente un asistente de prueba como Coq para formalizar su prueba de la Conjetura ABC?
- ¿Qué es una interpretación geométrica de la dualidad débil y fuerte?
- En un reloj, en 60 minutos la manecilla de los minutos gana 55 minutos en la manecilla de la hora. ¿Cómo?
- ¿Por qué los polinomios irreducibles en Q [x] tienen raíces distintas? Generalizar si es posible.
Sin embargo, si tomamos un álgebra booleana libre en un conjunto de literales, no siempre es (de hecho, nunca es el caso, si hay literales para más de una variable) el caso de que las proposiciones individuales sean átomos. Aquí hay un ejemplo de wiki.
