Categorias
Filosofia

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

Apresentação ao método de dedução natural na lógica de 1ª ordem e as ligações que a consequência sintática possui com a consequência semântica.

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.