Last 5 Pages Viewed: Special:Browse/:Exemplo-5F4.2.4-5F-2D-5F... » Semântica formal para a Lógica Proposici... » Special:UserRights/Jpquirino » Special:MobileDiff/180 » Special:MobileDiff/1210

Changes

Jump to navigation Jump to search
<!---->{{#ev:youtube|9BdeXjhyJWs|||||start=45}}
==== <math>\vdash (\alpha \to \beta) \lor (\beta \to \alpha)</math>, via terceiro excluído ====
<!---->{{#ev:youtube|9BdeXjhyJWs|||||start=423413}}
===Derivabilidade de regras===

Navigation menu