Open main menu

Changes

no 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}}