111
edits
Changes
Jump to navigation
Jump to search
Exercícios de Dedução Natural (view source)
Revision as of 15:06, 11 October 2020
, 15:06, 11 October 2020no edit summary
==Dedução Natural para a Lógica de Primeira Ordem Intuicionista==
[AGUARDE!]
=== Derivabilidade de sequentes
==== <math>(\forall x)(\varphi \to \psi) \vdash (\forall x)\varphi \to (\forall x)\psi</math> ====
: {{#ev:youtube|B7fFRZF_wao|||||start=1040}}
==Dedução Natural para a Lógica de Primeira Ordem Clássica==
