111
edits
Changes
Dedução Natural para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 21:02, 15 October 2020
, 21:02, 15 October 2020→Links externos
* Regras para os ''quantificadores'' e para a ''igualdade'': <!--
--><p>ver [[Dedução Natural para a Lógica de Primeira Ordem Intuicionista]]</p>
* ''Efeitos das regras clássicas da negação'' sobre os quantificadores<!--
--><p>[VIDEO]{{#ev:youtube|8V6u6BrqJ-M}}</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 ==
* [[Estratégias de demonstração]]
* [[Correção e completude para a Lógica de Primeira Ordem Clássica]]
* [[Introdução Computacional à Lógica Matemática]]
== Links externos ==
*[http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural Dedução natural]