De predicados a átomos booleanos — una reconstrucción desde la segmentación
La lógica clásica parte de conectivas —∧, ∨, →, ¬— como primitivas y deriva las configuraciones como casos particulares. Aquí proponemos el movimiento inverso: partir del universo U como primitivo, y dejar que los predicados lo segmenten en átomos. Las conectivas emergen después, como descripciones de qué átomos elegimos.
Este documento es una aproximación pedagógica a esa reconstrucción. Cada paso añade estructura al espacio lógico y muestra cómo la complejidad combinatoria crece según un patrón exacto: 2ⁿ átomos para n predicados, 2^(2ⁿ) fórmulas posibles.
Sea A un predicado cualquiera sobre el universo U. Por ejemplo, A ≡ ser filósofo. El solo hecho de afirmar A produce una partición: U se divide en dos regiones mutuamente excluyentes y conjuntamente exhaustivas.
Con un predicado hay 2 átomos y 2² = 4 combinaciones booleanas expresables. Poca cosa todavía. La estructura se revela al añadir el segundo.
Antes de trazar el Venn conviene ver de dónde salen sus cuatro regiones. Con dos predicados A y B en juego, cada uno puede estar afirmado o negado sobre un mismo x: tenemos cuatro predicados signados, Ax, ¬Ax, Bx, ¬Bx. La pregunta es cómo se relacionan entre sí. Hay exactamente dos maneras primitivas de emparejarlos:
Estas cuatro combinaciones agotan todas las configuraciones posibles entre los signos de A y B. Son primitivas en el sentido fuerte: no se obtienen componiendo otras más simples, y cualquier cosa que pueda decirse sobre un x usando solo A y B es una elección entre ellas o una unión de varias.
Sobre el ejemplo canónico —A ≡ ser filósofo y B ≡ ser mortal— las cuatro se leen así: a es ser filósofo y mortal, b no ser ni lo uno ni lo otro, c ser filósofo no mortal, d ser mortal no filósofo. El paso que sigue es de pura traducción: leer A y B como subconjuntos de U convierte estas cuatro combinaciones lógicas en las cuatro regiones geométricas del diagrama de Venn.
Al leer A y B como subconjuntos del universo, las cuatro configuraciones anteriores se vuelven cuatro regiones geométricas disjuntas que agotan U por completo:
La correspondencia con las operaciones de conjuntos es estricta:
| Átomo | Conjunto | Fórmula | Interpretación |
|---|---|---|---|
| a | A ∩ B | A ∧ B | filósofo y mortal |
| b | (A ∪ B)ᶜ | ¬A ∧ ¬B | ni filósofo ni mortal |
| c | A ∩ Bᶜ | A ∧ ¬B | filósofo no mortal |
| d | Aᶜ ∩ B | ¬A ∧ B | mortal no filósofo |
Lo importante es esto: estos cuatro átomos son los ladrillos del álgebra booleana generada por {A, B}. Cualquier fórmula construible sobre A y B —conjunción, disyunción, implicación, XOR, lo que sea— es una unión de algunos de estos cuatro. Ninguna fórmula clásica escapa a esa representación.
Se deduce sin más: si hay 4 átomos, hay exactamente 2⁴ = 16 subconjuntos posibles del conjunto de átomos, y por tanto 16 fórmulas booleanas distintas (módulo equivalencia lógica) expresables con A y B.
Haz clic sobre cada átomo para incluirlo o excluirlo del subconjunto. El panel inferior muestra qué fórmula booleana corresponde a la combinación elegida.
Las 16 combinaciones cubren toda la lógica proposicional sobre dos predicados. Las más conocidas —conjunción, disyunción, implicación, bicondicional, XOR— son casos particulares de esta combinatoria. Lo que normalmente se enseña como operadores primitivos son aquí simplemente elecciones de subconjunto.
| Átomos | Fórmula | Nombre |
|---|---|---|
| ∅ | ⊥ | Contradicción |
| {a} | A ∧ B | Conjunción |
| {b} | ¬A ∧ ¬B | NOR |
| {c} | A ∧ ¬B | A sin B |
| {d} | ¬A ∧ B | B sin A |
| {a, b} | A ↔ B | Bicondicional |
| {a, c} | A | Predicado A |
| {a, d} | B | Predicado B |
| {b, c} | ¬B | Negación de B |
| {b, d} | ¬A | Negación de A |
| {c, d} | A ⊕ B | XOR |
| {a, b, c} | B → A | Implicación inversa |
| {a, b, d} | A → B | Implicación |
| {a, c, d} | A ∨ B | Disyunción |
| {b, c, d} | ¬(A ∧ B) | NAND |
| {a, b, c, d} | ⊤ | Tautología |
Con tres predicados A, B, C independientes obtenemos 8 átomos —uno por cada combinación de pertenencia/no pertenencia a cada predicado— y por tanto 2⁸ = 256 fórmulas expresables.
El patrón se generaliza limpiamente:
| Predicados | Átomos | Fórmulas expresables |
|---|---|---|
| 1 | 2 | 4 |
| 2 | 4 | 16 |
| 3 | 8 | 256 |
| 4 | 16 | 65 536 |
| n | 2ⁿ | 2^(2ⁿ) |
El espacio lógico se vuelve, literalmente, un hipercubo booleano: un objeto combinatorio finito donde las aristas conectan átomos que difieren en un único bit. Moverse en el espacio lógico es cambiar un predicado a la vez —una operación siempre completable, siempre discreta, siempre constructiva.
Lo que hemos recorrido no es una reescritura notacional. Es una inversión ontológica. En la tradición clásica el universo se construye desde abajo: elementos, conjuntos de elementos, conjuntos de conjuntos, jerarquía infinita acumulativa. Aquí hacemos lo contrario: el universo U es primitivo, y los predicados lo segmentan. Cada predicado añadido duplica el número de átomos; cada átomo es construible en un número finito de pasos; cada fórmula es un subconjunto finito del hipercubo atómico.
Los infinitos actuales al estilo Cantor no encuentran hueco en este marco: no porque se los prohiba por decreto, sino porque el acto mismo de segmentar es un proceso completable. No hay segmentación sin operación, y no hay operación sin término. La lógica proposicional entera resulta ser combinatoria sobre una partición finita, y la inferencia se vuelve navegación entre configuraciones.
Queda pendiente —y lo abordaremos en textos posteriores— dar el siguiente paso: pasar de átomos como celdas del espacio a átomos como objetos susceptibles de transporte estructural. Ahí es donde entra el functor, donde la predicación deja de ser adjudicación y se vuelve mapeo. El cuadro de oposición clásico se revelará entonces como la sombra plana de un diagrama conmutativo. Pero eso es ya otra página.