Categorias
Filosofia

Lógica: uma introdução — parte 4

Apresentação à sintaxe e à semântica da lógica de 1ª ordem com identidade; explicação sobre as estruturas e a noção de consequência semântica.