O quê

Augustus De Morgan (1806–1871) foi um matemático e lógico britânico que deu rigor algébrico à lógica simbólica — um dos pilares conceituais que, gerações depois, tornariam possíveis os circuitos digitais e, por fim, a computação. Em Formal Logic (1847), enunciou as relações que levam seu nome: as leis de De Morgan.

Sua importância para esta enciclopédia é dupla. Primeiro, foi tutor matemático de Ada Lovelace, com quem trocou correspondência sobre cálculo e lógica. Segundo, foi influência direta sobre George Boole — cuja álgebra booleana Claude Shannon usaria em 1937 para descrever circuitos de chaveamento. A linha é reta: De Morgan → Boole → Shannon → o computador.

Em Magik LLM Gathering, De Morgan é tratado como person · companion dos founders — o elo vitoriano entre lógica e máquina.

Como funciona

As leis de De Morgan

A contribuição mais lembrada são duas identidades que ligam negação, conjunção (E) e disjunção (OU):

NÃO (A E B)  =  (NÃO A) OU (NÃO B)
NÃO (A OU B) =  (NÃO A) E (NÃO B)

Em palavras: negar “as duas coisas” equivale a afirmar “pelo menos uma das negações”. Parece simples — e é exatamente por isso que é poderoso: dá regras mecânicas para transformar expressões lógicas, base de simplificação de circuitos, otimização de consultas e prova automática.

Lógica como cálculo

A ambição de Formal Logic era tratar inferência como cálculo — manipulação simbólica governada por regras, não intuição. De Morgan e Boole, trabalhando em paralelo, transformaram a lógica de ramo da filosofia em disciplina matemática. Essa virada é a semente intelectual da Symbolic AI (GOFAI): a ideia de que raciocinar é computar sobre símbolos.

O mentor de Lovelace

Como professor no University College London, De Morgan orientou Ada Lovelace em matemática avançada. A correspondência mostra um tutor exigente lidando com uma aluna excepcional — preparo que ajudaria Lovelace a escrever, sobre a Analytical Engine de Babbage, o que se considera o primeiro algoritmo.

Por que importa

Suas leis estão em cada chip. Toda síntese de circuitos digitais, todo otimizador de expressões booleanas, todo compilador usa as leis de De Morgan rotineiramente. É matemática de 1847 rodando bilhões de vezes por segundo em 2026.

É um nó na genealogia da computação. A frase resume bem: sem De Morgan, não há álgebra booleana madura; sem álgebra booleana, não há os circuitos de Shannon; sem esses circuitos, não há computador digital — e, portanto, nenhum dos modelos desta enciclopédia.

Encarna a virada lógica → cálculo. Junto a Boole, fundou a tradição de tratar raciocínio formalmente — exatamente a aposta que a IA simbólica levaria ao limite um século depois.

Estado em 2026

• Leis onipresentes e anônimas. As leis de De Morgan são ensinadas em toda lógica/eletrônica/programação introdutória — usadas todo dia por quem nem lembra o nome dele.
• Relevância renovada pela IA. Com o renascimento neuro-simbólico (acoplar LLMs a solvers e lógica formal), a manipulação simbólica que De Morgan ajudou a fundar volta ao centro como complemento aos modelos neurais.
• Figura de ponte histórica. É citado para conectar a matemática vitoriana à era digital — e para lembrar que a IA tem raízes muito anteriores aos transistores.

Tratamento de carta — proposta

De Morgan, The Formalist Legendary Avatar · Founders

Lei de De Morgan: uma vez por turno, você pode “negar” um efeito composto do oponente — se ele tem um efeito do tipo “A E B”, transforme-o em “NÃO A OU NÃO B” (quebre a conjunção, anulando metade à sua escolha).

“Negar o todo é afirmar a negação das partes.”

A mecânica encena literalmente as leis de De Morgan: reescrever lógica composta para desarmá-la.

Veja também

Ada Lovelace · Claude Shannon · Charles Babbage · Symbolic AI (GOFAI)