Changes

Jump to navigation Jump to search
no edit summary
==Dedução Natural para a Lógica de Primeira Ordem Clássica==
[AGUARDE!]
 
=== Derivabilidade de sequentes ===
 
==== <math>\neg(\exists x)\neg\varphi \vdash (\forall x)\varphi</math> ====
: {{#ev:youtube|8V6u6BrqJ-M|||||start=188}}
===Derivabilidade de regras===

Navigation menu