Difference between revisions of "Formalismos dedutivos"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
m
Tag: 2017 source edit
Line 1: Line 1:
 
* Estilos
 
* Estilos
 
[VIDEO]
 
[VIDEO]
: [[Dedução Natural]]
+
:* [[Dedução Natural]]
: [[Cálculo de Sequentes]]
+
:* [[Cálculo de Sequentes]]
: [[Tableaux]]
+
:* [[Tableaux]]
: [[Método da Resolução]]
+
:* [[Método da Resolução]]
  
 
== Para reflexão ==
 
== Para reflexão ==

Revision as of 19:19, 23 August 2020

  • Estilos

[VIDEO]

Para reflexão

Veja também

Links externos