Changes

Exercícios de Dedução Natural (view source)

7 bytes added , 22:39, 15 September 2020

*''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.

111

edits