525
edits
Changes
Dedução Natural para a Lógica Proposicional Clássica (view source)
Revision as of 13:22, 6 October 2020
, 13:22, 6 October 2020no edit summary
* Regras para a '''conjunção''', a '''disjunção''', a '''implicação intuicionista''', o '''bottomintuicionista''', o '''top''', e a '''negação intuicionista''': <!--
--><p>ver [[Dedução Natural para a Lógica Proposicional Intuicionista]]</p>
* Regras para a '''negação clássica''' (e o '''bottom clássico''')<!----><p>[VIDEO]{{#ev:youtube|0RiYJ5EinRE}}</p>
* ''Efeitos das regras clássicas da negação'' sobre os demais conectivos<!--
--><p>[VIDEO]{{#ev:youtube|abE4_iTh_IU}}</p>
== 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 ==
* [[Exercícios de Dedução Natural]]
* [[Estratégias de demonstração]]
* [[Correção e completudepara a Lógica Proposicional Clássica]]* [[Introdução Computacional à Lógica Matemática]]
== Links externos ==
*