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 de formalismo dedutivo
 
[VIDEO]
 
[VIDEO]
:* [[Dedução Natural]]
 
:* [[Cálculo de Sequentes]]
 
:* [[Tableaux]]
 
:* [[Método da Resolução]]
 
  
 
== Para reflexão ==
 
== Para reflexão ==
Line 12: Line 8:
 
== Veja também ==
 
== Veja também ==
  
*  
+
* [[Dedução Natural]]
 +
* [[Cálculo de Sequentes]]
 +
* [[Tableaux]]
 +
* [[Método da Resolução]]
  
 
== Links externos ==
 
== Links externos ==
  
 
*
 
*

Revision as of 16:12, 28 August 2020

  • Estilos de formalismo dedutivo

[VIDEO]

Para reflexão

Veja também

Links externos