Changes

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

Navigation menu