Changes

Exercícios de Dedução Natural (view source)

11 bytes removed , 11:07, 23 July 2021

m

==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> ====

205

edits