Open main menu

Changes

no edit summary
== Veja também ==
* [[Dedução NaturalFormalismos dedutivos]]
* [[Acarretamento]] (consequência semântica, ''entailment'')
* [[Correção e completude]]