Changes

292 bytes added , 20:38, 15 October 2020

== Veja também ==

* [[~~Dedução Natural~~Formalismos dedutivos]]

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

* [[Correção e completude]]

== Links externos ==

*[http://pt.wikipedia.org/wiki/F%C3%B3rmula_%28l%C3%B3gica%29 Fórmula (lógica) (Wikipédia)]* [http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_bin%C3%A1ria Relação binária (Wikipédia)]* [http://pt.wikipedia.org/wiki/Consequ%C3%AAncia_l%C3%B3gica Consequência lógica (Wikipédia)]

Greati

Administrators

111

edits

Changes

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

Revision as of 20:38, 15 October 2020