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