Open main menu

Changes

*''Derivações na forma de árvores rotuladas com fórmulas''
#====Terceiro Excluído / ''Tertium Non Datur'': <math>\vdash\varphi\lor\neg\varphi</math>====<!---->{{#ev:youtube|kNyjuCFUzC8}}<!--
-->''Tarefa:'' Demonstrar a mesma fórmula, invertendo a ordem de aplicação das regras de introdução da disjunção.