111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 17:14, 12 October 2020
, 17:14, 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) \to Q(y)) \vdash (\forall y) Q(y)</math> ====
: {{#ev:youtube|C37Y-1vqRAY|||||start=810}}