Open main menu

Changes

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