111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 15:29, 11 October 2020
, 15:29, 11 October 2020→(\forall x) \varphi \land \psi \dashv\vdash (\forall x) \varphi \land (\forall x)\psi
==== <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 varphi_1 \land \psi varphi_2 \dashv\vdash (\forall x) \varphi varphi_1 \land (\forall x)\psivarphi_2</math> ====
: {{#ev:youtube|B7fFRZF_wao|||||start=1678}}