Changes

Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (view source)

Revision as of 00:51, 6 October 2020

85 bytes added , 00:51, 6 October 2020

→‎Validade global de sequentes

== Validade global de sequentes ==

* === <math> \exists x \forall y. \varphi \vdash \forall y \exists x. \varphi </math> ===

== Validade de sequentes em uma interpretação fixa ==

111

edits

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1330"