205
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 11:07, 23 July 2021
, 11:07, 23 July 2021→Dedução Natural para a Lógica de Primeira Ordem Intuicionista
==Dedução Natural para a Lógica de Primeira Ordem Intuicionista==
=== Derivabilidade de sequentes ===
==== <math>(\forall x)(\varphi \to \psi) \vdash (\forall x)\varphi \to (\forall x)\psi</math> ====