111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 23:19, 15 September 2020
, 23:19, 15 September 2020→Derivabilidade de sequentes
===Derivabilidade de sequentes===
<!-- *''Derivações na forma de árvores rotuladas com fórmulas''-->
====Terceiro Excluído / ''Tertium Non Datur'': <math>\vdash\varphi\lor\neg\varphi</math>====