111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 22:34, 12 October 2020
, 22:34, 12 October 2020no 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==