Open main menu

Changes

#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.<!--