111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 15:27, 11 October 2020
, 15:27, 11 October 2020→Derivabilidade de sequentes
==== <math>(\forall x)Q(x) \vdash (\forall y)Q(y)</math> ====
: {{#ev:youtube|B7fFRZF_wao|||||start=1244}}
==== <math>(\forall x_1)(\forall x_2)R(x_1,x_2) \vdash (\forall x_2)(\forall x_1)R(x_1,x_2)</math> ====
: {{#ev:youtube|B7fFRZF_wao|||||start=1303}}
==== <math>(\forall x) \varphi \land \psi \dashv\vdash (\forall x) \varphi \land (\forall x)\psi</math> ====
: {{#ev:youtube|B7fFRZF_wao|||||start=1678}}
==Dedução Natural para a Lógica de Primeira Ordem Clássica==