Difference between revisions of "Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica"

Revision as of 20:53, 15 October 2020

1 Validade global de sequentes
2 Validade de sequentes em interpretações particulares
- 2.1 $w\approx x{\mathsf {f}}(y{\mathsf {g}}z)$ ▷ $^{\mathfrak {I}}w\approx (x{\mathsf {f}}y){\mathsf {g}}(x{\mathsf {f}}z)$
3 Correção de regras
- 3.1 Regras para o símbolo de igualdade
4 Para reflexão
5 Veja também
6 Links externos

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 interpretações particulares

$w\approx x{\mathsf {f}}(y{\mathsf {g}}z)$ ▷ $^{\mathfrak {I}}w\approx (x{\mathsf {f}}y){\mathsf {g}}(x{\mathsf {f}}z)$

@@ Line 36: / Line 36: @@
 == Links externos ==
-*
+* [http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem Lógica de Primeira Ordem]
+* [http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_%28l%C3%B3gica%29 Interpretação (lógica)]
+* [http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_%28l%C3%B3gica%29 Valoração (lógica)]

Difference between revisions of "Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica"

Revision as of 20:53, 15 October 2020

Contents

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 interpretações particulares

$w\approx x{\mathsf {f}}(y{\mathsf {g}}z)$ ▷ $^{\mathfrak {I}}w\approx (x{\mathsf {f}}y){\mathsf {g}}(x{\mathsf {f}}z)$

Correção de regras

Regras para o símbolo de igualdade

Para reflexão

Veja também

Links externos

Navigation menu

Personal tools

Namespaces

Variants

Views

More

Search

Navigation

Tools

Difference between revisions of "Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica"

Revision as of 20:53, 15 October 2020

Contents

Validade global de sequentes

( ∃ x ) ( ∀ y ) φ {\displaystyle (\exists x)(\forall y)\varphi } ▷ ( ∀ y ) ( ∃ x ) φ {\displaystyle (\forall y)(\exists x)\varphi }

( ∀ y ) ( ∃ x ) φ {\displaystyle (\forall y)(\exists x)\varphi } ▶ ( ∃ x ) ( ∀ y ) φ {\displaystyle (\exists x)(\forall y)\varphi }

( ∀ x : P ) φ {\displaystyle (\forall x{:}P)\varphi } ◁▷ ¬ ( ∃ x : P ) ¬ φ {\displaystyle \neg (\exists x{:}P)\neg \varphi }

( ∀ x ) ( φ → ψ ) {\displaystyle (\forall x)(\varphi \to \psi )} ▷ ( ∀ x ) φ → ( ∀ x ) ψ {\displaystyle (\forall x)\varphi \to (\forall x)\psi }

( ∀ x ) φ → ( ∀ x ) ψ {\displaystyle (\forall x)\varphi \to (\forall x)\psi } ▶ ( ∀ x ) ( φ → ψ ) {\displaystyle (\forall x)(\varphi \to \psi )}

Validade de sequentes em interpretações particulares

w ≈ x f ( y g z ) {\displaystyle w\approx x{\mathsf {f}}(y{\mathsf {g}}z)} ▷ I w ≈ ( x f y ) g ( x f z ) {\displaystyle ^{\mathfrak {I}}w\approx (x{\mathsf {f}}y){\mathsf {g}}(x{\mathsf {f}}z)}

Correção de regras

Regras para o símbolo de igualdade

Para reflexão

Veja também

Links externos

Navigation menu

Search

$(\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 )$

$w\approx x{\mathsf {f}}(y{\mathsf {g}}z)$ ▷ $^{\mathfrak {I}}w\approx (x{\mathsf {f}}y){\mathsf {g}}(x{\mathsf {f}}z)$