Correção e completude para a Lógica Proposicional Clássica
Jump to navigation
Jump to search
[VIDEO]
Para reflexão
Veja também
- Dedução Natural para a Lógica Proposicional Clássica
- Semântica formal para a Lógica Proposicional Clássica