O Teorema da Consistência Conjunta de Robinson é um importante teorema da lógica matemática, sendo relacionado com a Interpolação de Craig e a Definibilidade de Beth. A formulação clássica é definida como: Considere e sendo da lógica de primeira ordem. Se e são consistentes e a interseção é completa (na linguagem comum de e ), então a união é consistente. Observe que a teoria é completa se ela resolve cada formula, isto é tanto quanto . Uma vez que o pressuposto de completude é muito difícil de ser realizado, existe uma variante do teorema: Considere e sendo da lógica de primeira ordem. Se e são consistentes e não existe uma fórmula na linguagem comum de e tal que e , então a união é consistente.
Referências
Categoria:Lógica matemática