525
edits
Changes
Jump to navigation
Jump to search
Exercícios de Dedução Natural (view source)
Revision as of 16:14, 28 August 2020
, 16:14, 28 August 2020criando página
(Abreviatura: DN = Dedução Natural)
== Dedução Natural para a Lógica Proposicional Intuicionista ==
[AGUARDE!]
== Dedução Natural para a Lógica Proposicional Clássica ==
* ''Derivações na forma de árvores rotuladas com fórmulas''
# Terceiro Excluído / ''Tertium Non Datur'': <math>\vdash\varphi\lor\neg\varphi</math></p><!--
--><p>{{#ev:youtube|kNyjuCFUzC8}}</p><!--
--><p>''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.
== Veja também ==
* [[Dedução Natural]]
* [[Estratégias de demonstração]]
== Links externos ==
*
== Dedução Natural para a Lógica Proposicional Intuicionista ==
[AGUARDE!]
== Dedução Natural para a Lógica Proposicional Clássica ==
* ''Derivações na forma de árvores rotuladas com fórmulas''
# Terceiro Excluído / ''Tertium Non Datur'': <math>\vdash\varphi\lor\neg\varphi</math></p><!--
--><p>{{#ev:youtube|kNyjuCFUzC8}}</p><!--
--><p>''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.
== Veja também ==
* [[Dedução Natural]]
* [[Estratégias de demonstração]]
== Links externos ==
*
