Álgebra de Boole frente a lógica proposicional
El álgebra de Boole y la lógica proposicional son dos vocabularios para el mismo sistema de dos valores: uno habla de 0, 1, sumas y productos, el otro de proposiciones, conectivas y validez. La fórmula (p -> q) AND p de abajo es el modus ponens como problema de álgebra, y se reduce a p AND q.
La lógica proposicional parte de proposiciones (p, q) y conectivas (NOT, AND, OR, implicación, bicondicional) y pregunta por la verdad, la validez y la consecuencia: de p -> q y p, ¿se sigue q? El álgebra de Boole parte del álgebra de dos elementos con sus leyes, identidad, complemento, distribución, y pregunta por las funciones y sus formas. El motor no elige: imprime cada fórmula en una notación de palabras, de programación, matemática y de álgebra, y tanto las leyes como las comprobaciones de argumentos se ejecutan sobre la misma semántica de dos valores.
La fórmula de esta página hace concreta la identificación. (p -> q) AND p, la conjunción de las premisas del modus ponens, es VERDADERA en una fila de cuatro, Σm(3), p y q ambas VERDADERAS. Su FND es p AND q (eliminación de la implicación, distribución, complemento), su FNC es p AND (NOT p OR q), y el mapa de Karnaugh obtiene p AND q. En términos de la lógica: siempre que se cumplen las dos premisas, se cumple q, así que el argumento es válido. En términos del álgebra: el producto de las premisas es el producto p·q, que es como mucho q.
Los vocabularios divergen en lo que enfatizan. El álgebra no tiene noción de argumento, solo de funciones; la lógica no tiene mapas de Karnaugh, solo demostraciones y tablas. Los cursos de filosofía enseñan el vocabulario lógico con letras p, q, r y flechas; el diseño digital enseña el vocabulario algebraico con A, B, C, barras y puntos. Los dos se sirven de la misma referencia, y el glosario da cada término en las dos lenguas.
Ejemplo
f := (p -> q) AND p · salida
Comprobaciones exactas
Tabla de verdad (4 filas)
| # | p | q | f |
|---|---|---|---|
| 0 | FALSO | FALSO | FALSO |
| 1 | FALSO | VERDADERO | FALSO |
| 2 | VERDADERO | FALSO | FALSO |
| 3 | VERDADERO | VERDADERO | VERDADERO |
Diagrama lógico
Mapa de Karnaugh
- celdas m3
p AND q
Mintérminos y maxtérminos
f(p, q) = Σm(3)f(p, q) = ΠM(0, 1, 2)Orden de variables: p, q · 4 filas
Formas normales
Forma normal conjuntiva (FNC)
p AND (NOT p OR q)2 cláusulas, 3 literales · complete · Eliminación de la implicación ×1
Forma normal disyuntiva (FND)
p AND q1 términos, 2 literales · complete · Eliminación de la implicación ×1, Distributividad ×1, Complemento ×1
Solo NAND, solo NOR
Forma solo con NAND
NAND(NAND(NAND(p, NAND(q, q)), p), NAND(NAND(p, NAND(q, q)), p))7 compuertas · equivalencia verificada en todas las filas
Forma solo con NOR
NOR(NOR(NOR(p, p), q), NOR(p, p))4 compuertas · equivalencia verificada en todas las filas
El error habitual
Pensar que p -> q es una operación del álgebra que la implicación «es en realidad». Es NOT p OR q, p' + q en notación de álgebra, y los dos nombres describen una misma tabla de verdad; una pregunta de validez y una pregunta de función sobre ella tienen la misma respuesta.
Preguntas
¿Una tautología es lo mismo que la constante 1?
Sí: una tautología es una fórmula VERDADERA en todas las filas, que como función es la constante 1. El simplificador reduce p OR NOT p a VERDADERO, y la comprobación de tautología informa de que se cumple en todas las filas.
¿Por qué el motor tiene modo argumento y modo decisión?
Porque los dos vocabularios hacen preguntas distintas a las mismas fórmulas: el modo argumento pregunta si una conclusión se sigue de unas premisas, el modo decisión pregunta qué devuelve una regla. La semántica subyacente es idéntica.
Relacionado
Véase también
- Proposición: definición, ejemplo y equivalente en inglés
- Conectiva lógica: definición, ejemplo y equivalente en inglés
- Función booleana: definición, ejemplo y equivalente en inglés
- Argumento válido: definición, ejemplo y equivalente en inglés
- Postulados de Huntington: los axiomas del álgebra de Boole
- Modus ponens: A → B, A, por tanto B (válido)
- Símbolos y notaciones de la lógica booleana: NOT, AND, OR en palabras, código y matemáticas
- Lógica para Filosofía de 1.º de Bachillerato: tablas de verdad y validez
Comparar
Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación . Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.