525
edits
Changes
Dedução Natural para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 12:33, 6 October 2020
, 12:33, 6 October 2020no edit summary
== 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 ==