Changes

Exercícios de Dedução Natural (view source)

111 bytes added , 15:15, 11 October 2020

==Dedução Natural para a Lógica de Primeira Ordem Intuicionista==

[AGUARDE!]

=== Derivabilidade de sequentes===

==== <math>(\forall x)(\varphi \to \psi) \vdash (\forall x)\varphi \to (\forall x)\psi</math> ====

: {{#ev:youtube|B7fFRZF_wao|||||start=1040}}

==== <math>(\forall x)Q(x) \vdash (\forall y)Q(y)</math> ====

: {{#ev:youtube|B7fFRZF_wao|||||start=1244}}

==Dedução Natural para a Lógica de Primeira Ordem Clássica==

111

edits