Changes

Jump to navigation Jump to search
==== <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}}

Navigation menu