Open main menu
Logic Wiki
Search
Changes
← Older edit
Newer edit →
Formalismos dedutivos
(view source)
Revision as of 19:19, 23 August 2020
4 bytes added
,
19:19, 23 August 2020
m
no edit summary
* Estilos
[VIDEO]
:
*
[[Dedução Natural]]:
*
[[Cálculo de Sequentes]]:
*
[[Tableaux]]:
*
[[Método da Resolução]]
== Para reflexão ==
Jmarcos
Administrators
525
edits