Changes

Jump to navigation Jump to search
no edit summary
==== <math>(\forall x)A(x), (\exists y)(A(y) \to B(y)), (\forall z)(A(z) \to C(z)) \vdash (\exists w)(B(w) \land C(w))</math> ====
: {{#ev:youtube|C37Y-1vqRAY|||||start=1152}}
==== <math>(\exists x)(\varphi_1 \lor \varphi_2) \dashv \vdash (\exists x)\varphi_1 \lor (\exists x)\varphi_2</math> ====
: {{#ev:youtube|C37Y-1vqRAY|||||start=1425}}
==Dedução Natural para a Lógica de Primeira Ordem Clássica==

Navigation menu