Last 5 Pages Viewed: Special:MobileDiff/1262 » Special:MobileDiff/1122 » Special:MobileDiff/1267 » Special:MobileDiff/1260

Changes

Jump to navigation Jump to search
no 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). O que dizer de interações clássicas entre o bottom e a negação de uma conjunção, ou entre o bottom e a negação de uma implicação?
== Veja também ==

Navigation menu