Open main menu

Changes

===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>====