Open main menu

Changes

m
no edit summary
==== <math>\vdash (\alpha \to \beta) \lor (\beta \to \alpha)</math>, via terceiro excluído ====
: {{#ev:youtube|9BdeXjhyJWs|||||start=413}}
 
==Dedução Natural para a Lógica de Primeira Ordem Intuicionista==
[AGUARDE!]
 
==Dedução Natural para a Lógica de Primeira Ordem Clássica==
[AGUARDE!]
===Derivabilidade de regras===