111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 17:08, 12 October 2020
, 17:08, 12 October 2020no edit summary
==== <math>(\forall x) \varphi_1 \land \varphi_2 \dashv\vdash (\forall x) \varphi_1 \land (\forall x)\varphi_2</math> ====
: {{#ev:youtube|B7fFRZF_wao|||||start=1678}}
==== <math>(\exists x)P(x), (\forall x)(\forall y)P(x)\toQ(y) \vdash (\forall y)Q(y)</math> ====
: {{#ev:youtube|C37Y-1vqRAY|||||start=810}}
==Dedução Natural para a Lógica de Primeira Ordem Clássica==