Exercícios de semântica formal para a Lógica Proposicional Clássica
Contents
- 1 Validade de sequentes
- 2 Correção de regras
- 2.1
- 2.2
- 3 Para reflexão
- 4 Veja também
- 5 Links externos
Validade de sequentes
▶
▶
▷
Correção de regras
Para reflexãoVeja tambémLinks externos