Changes

Relação de consequência (view source)

No change in size , 13:01, 6 October 2020

no edit summary

== Veja também ==

* [[Introdução Computacional à Lógica Matemática]]

* [[Dedução Natural]]

* [[Acarretamento]] (consequência semântica, ''entailment'')

* [[Correção e completude]]

* [[Introdução Computacional à Lógica Matemática]]

== Links externos ==

*

525

edits