Semântica formal para a lógica de primeira ordem
Jump to navigation
Jump to search
- Da verdade e da falsidade de fórmulas em uma estrutura de interpretação específica
- Da validade global de um sequente, e da validade de um sequente em uma estrutura de interpretação específica
[VIDEO]
Para reflexão
Veja também
- Semântica formal para a lógica proposicional
- Semântica formal para a Lógica de Primeira Ordem Clássica
- Semântica formal para a Lógica de Primeira Ordem Intuicionista
- Acarretamento
- Correção e completude
- Introdução Computacional à Lógica Matemática
