111
edits
Changes
Jump to navigation
Jump to search
Exercícios de Dedução Natural (view source)
Revision as of 19:34, 14 October 2020
, 19:34, 14 October 2020→Derivabilidade de sequentes
==== <math>\neg(\exists x)\neg\varphi \vdash (\forall x)\varphi</math> ====
: {{#ev:youtube|8V6u6BrqJ-M|||||start=188}}
==== <math>\vdash (\exists x)(\forall y)(B(y) \lor \neg B(x))</math> ====
: {{#ev:youtube|8V6u6BrqJ-M|||||start=460}}
===Derivabilidade de regras===
