111
edits
Changes
Jump to navigation
Jump to search
Exercícios de Dedução Natural (view source)
Revision as of 17:49, 13 September 2020
, 17:49, 13 September 2020→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>{{#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.<!--
-->
#<math>\varphi \land \psi \vdash \psi \land \varphi</math><!--
--><p>{{#ev:youtube|moh07B8dv2k|||||start=480&end=527}}</p>
