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

Revision as of 10:43, 17 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
- 3.2 $\Gamma \vdash (\forall x)\varphi /\Gamma \vdash \varphi [x\mapsto t]$
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)$

Correção de regras

Regras para o símbolo de igualdade

$\Gamma \vdash (\forall x)\varphi /\Gamma \vdash \varphi [x\mapsto t]$

Para reflexão

Veja também

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

Links externos

@@ Line 25: / Line 25: @@
 === Regras para o símbolo de igualdade ===
 : {{#ev:youtube|RTlRlxsRzjA|||||start=239&loop=1}}
+=== <math>\Gamma \vdash (\forall x)\varphi / \Gamma \vdash \varphi[x \mapsto t]</math> ===
+: {{#ev:youtube|zRZmfBlAiv0|||||start=490&loop=1}}
 == Para reflexão ==

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

Revision as of 10:43, 17 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

$\Gamma \vdash (\forall x)\varphi /\Gamma \vdash \varphi [x\mapsto t]$

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 10:43, 17 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

Γ ⊢ ( ∀ x ) φ / Γ ⊢ φ [ x ↦ t ] {\displaystyle \Gamma \vdash (\forall x)\varphi /\Gamma \vdash \varphi [x\mapsto t]}

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

$\Gamma \vdash (\forall x)\varphi /\Gamma \vdash \varphi [x\mapsto t]$