Changes

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

303 bytes added , 15:27, 11 October 2020

==== <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==

111

edits