Changes

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

1 byte added , 15:31, 11 October 2020

==== <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_1 \land \varphi_2 \dashv\vdash (\forall x) \varphi_1 \land (\forall x)\varphi_2</math> ====

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

111

edits