525
edits
Changes
Jump to navigation
Jump to search
m
Dedução Natural para a Lógica Proposicional Clássica (view source)
Revision as of 13:01, 26 September 2020
, 13:01, 26 September 2020no edit summary
* 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). Dado um conectivo ©, o que o lógico clássico teria a dizer de sobre as interações clássicas entre o bottom e a ''negação de'' ©?
== Veja também ==
