Que 0 e 1 sejam os dois valores primitivos básicos da álgebra booleana. Que AB denote uma operação binária de álgebra booleana. Que (X) represente o complemento booleano de X. Então o cálculo das indicações é simplesmente aritmética booleana reduzida às duas equações 11=1 e (1)=0. Estes são os únicos "axiomas" em LoF.
A álgebra primária é principalmente uma notação mais simples para a álgebra booleana, exceto por uma coisa. Na álgebra booleana, () não é definida. () é a complementação "vazia" (a complementação do "nada"). Por outro lado, na álgebra primária () é definida, e representa um de 0 ou 1. (()) representa o outro valor primitivo, e é a mesma coisa que a página em branco.
Que A e B sejam duas expressões quaisquer da álgebra primária. A álgebra primária é composta de equações da forma A=B, e estas equações são tratadas da mesma forma que as equações da álgebra numérica ensinadas em todas as escolas. Os métodos padrão de equações lógicas raramente usam equações. LoF argumenta que fazer a lógica elementar com a álgebra primária é mais fácil. Em particular, se A é uma tautologia em lógica, então uma de A=() ou A=(()) se mantém na álgebra primária.
As Leis da Forma provam o seguinte fato sobre a álgebra primária:
- Não é possível provar tanto A=B como A/=B. Portanto, a álgebra primária está livre de contradição (é consistente);
- Pode sempre provar o que quer que seja de A=B e A/=B acontece ser verdade. (A álgebra primária está completa).
Portanto, a álgebra primária é uma peça de matemática bem comportada. Ela pode ser útil mesmo que a filosofia e a ciência cognitiva do LoF sejam erradas ou desinteressantes.
