Changes

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

85 bytes added , 00:51, 6 October 2020

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