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

Revision as of 12:33, 6 October 2020

Regras para os quantificadores e para a igualdade:
ver Dedução Natural para a Lógica de Primeira Ordem Intuicionista
Efeitos das regras clássicas da negação sobre os quantificadores
[VIDEO]

@@ Line 6: / Line 6: @@
 == Para reflexão ==
-* Como capturar o comportamento dedutivo da ''bi-implicação clássica''?
+*
-* Como encontrar regras para ''outros conectivos clássicos'' (ou para suas contrapartes intuicionistas)?
-* A regra do ''bottom clássico'' captura uma interação 'não-conectival' entre o bottom e a negação (clássica).  Em geral, dado um conectivo ©, o que o lógico clássico teria a dizer sobre as interações entre o bottom e a ''negação de'' ©?
 == Veja também ==