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

Validade global de sequentes

$(\exists x)(\forall y)\varphi$ ▷ $(\forall y)(\exists x)\varphi$

$(\forall y)(\exists x)\varphi$ ▶ $(\exists x)(\forall y)\varphi$

$(\forall x{:}P)\varphi$ ◁▷ $\neg (\exists x{:}P)\neg \varphi$

$(\forall x)(\varphi \to \psi )$ ▷$(\forall x)\varphi \to (\forall x)\psi$

$(\forall x)\varphi \to (\forall x)\psi$ ▶ $(\forall x)(\varphi \to \psi )$

Validade de sequentes em uma interpretação fixa

$w\approx xf(ygz)$ ▷ $w\approx (xfy)g(xfz)$

Correção de regras

Regras para o símbolo de igualdade

Veja também

• Introdução Computacional à Lógica Matemática