Changes

Jump to navigation Jump to search
===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>====

Navigation menu