Open main menu
Logic Wiki
Search
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
Read in another language
Watch this page
Edit
Revision as of 16:41, 6 October 2020 by
Jmarcos
(
talk
|
contribs
)
(
diff
)
← Older revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Contents
1
Validade global de sequentes
1.1
∃
x
∀
y
.
φ
{\displaystyle \exists x\forall y.\varphi }
▷
∀
y
∃
x
.
φ
{\displaystyle \forall y\exists x.\varphi }
1.2
∀
y
∃
x
.
φ
{\displaystyle \forall y\exists x.\varphi }
▶
∃
x
∀
y
.
φ
{\displaystyle \exists x\forall y.\varphi }
1.3
(
∀
x
:
P
)
φ
{\displaystyle (\forall x:P)\varphi }
◁▷
¬
(
∃
x
:
P
)
¬
φ
{\displaystyle \neg (\exists x:P)\neg \varphi }
2
Validade de sequentes em uma interpretação fixa
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
∃
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 }
Validade de sequentes em uma interpretação fixa
Correção de regras
Regras para o símbolo de igualdade
Para reflexão
Veja também
Introdução Computacional à Lógica Matemática
Links externos