Open main menu
Logic Wiki
Search
Changes
← Older edit
Newer edit →
Relação de consequência
(view source)
Revision as of 13:16, 6 October 2020
4 bytes added
,
13:16, 6 October 2020
no edit summary
== Veja também ==
* [[
Dedução Natural
Formalismos dedutivos
]]
* [[Acarretamento]] (consequência semântica, ''entailment'')
* [[Correção e completude]]
Jmarcos
Administrators
525
edits