111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 17:24, 13 September 2020
, 17:24, 13 September 2020→Dedução Natural para a Lógica Proposicional Clássica
--><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}}</p><!--
==Veja também==