Relação de consequência
Jump to navigation
Jump to search
- Versão tarskiana, unilateralista
[VIDEO]
Para reflexão
Veja também
- Introdução Computacional à Lógica Matemática
- Dedução Natural
- Acarretamento (consequência semântica, entailment)
