Difference between revisions of "Dedução Natural para a Lógica Proposicional Clássica"

From Logic Wiki
Jump to navigation Jump to search
(criando página)
 
Tag: 2017 source edit
Line 3: Line 3:
 
[VIDEO]
 
[VIDEO]
 
* Efeitos das regras clássicas da negação sobre os demais conectivos
 
* Efeitos das regras clássicas da negação sobre os demais conectivos
[VIDEO]  
+
[VIDEO]
  
 
== Para reflexão ==
 
== Para reflexão ==
Line 15: Line 15:
 
* [[Exercícios de Dedução Natural]]
 
* [[Exercícios de Dedução Natural]]
 
* [[Estratégias de demonstração]]
 
* [[Estratégias de demonstração]]
 +
* [[Correção e completude]]
  
 
== Links externos ==
 
== Links externos ==
  
 
*
 
*

Revision as of 01:44, 2 September 2020

[VIDEO]

  • Efeitos das regras clássicas da negação sobre os demais conectivos

[VIDEO]

Para reflexão

  • Como capturar o comportamento dedutivo da bi-implicação clássica?
  • Como encontrar regras para outros conectivos clássicos?

Veja também

Links externos