Aula3 PDF

Consequência sintática predicativa Consequência semântica predicativa Correção relacional Completude relacional
Lógica básica
Aula 3
Anderson Beraldo-de-Araújo
Pedro Carrasqueira
Universidade Federal do ABC
03/10/17
Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 1 / 20

1 Consequência sintática predicativa
2 Consequência semântica predicativa
3 Correção relacional
4 Completude relacional

Substituição
Definição
1 Se τ é uma constante σ, então

π1 se σ = π1
(τ )[π1 /η1 , . . . , πn /ηn ] = (σ)[τ1 /π1 ] =
σ se σ 6= π1
2 Se τ é um termo ρ1 . . . ρk σ1 · · · σl , então
(τ )[τ1 /π1 , . . . , τn /πn ] = ρ1 . . . ρk (σ1 )[τ1 /π1 ] · · · (σn )[τn /πn ] · · · σl .
Exemplo
(0̇ ⊗ 0̇)[0̇/1̇] = (⊗0̇0̇)[0̇/1̇] = ⊗(0̇)[0̇/1̇]0̇ = ⊗1̇0̇ = 1̇ ⊗ 0̇;
(llb1 )[b1 /c1 , o3 /e2 ] = l(lb1 )[b1 /c1 , o3 /e2 ] = ll(b1 )[b1 /c1 , o3 /e2 ] =
llc1 .
Regras predicativas
Definição
.
I=. Γ τ = τ ;
.
E=. Γ, φ(τ ), τ = π φ[τ /π];
.
E=. Γ, φ(τ ), π = τ φ[τ /π].

Exemplo
Argumento:
1 O Batman é um herói de Gotham City.
2 Ora, Bruce Wayne é o Batman.
3 Logo, Bruce Wayne é um herói de Gotham city.
Linguagem: S tal que CS = {b, r }, FS = e RS = {H} com ar (H) = 1.
Formalização:
1 “Batman” = b.
2 “Bruce Wayne” = r .
3 “Herói de Gotham City” = H.
Forma:
1 Hb
.
2 r =b
3 Hr
Exemplo
Argumento:
1 O Batman é o herói de Gotham City.
2 Ora, Bruce Wayne é o Batman.
3 Logo, Bruce Wayne é o herói de Gotham city.
Linguagem: S tal que CS = {b, r , g }, FS = {h} com ar (h) = 1 e RS = .
Formalização:
1 “Batman” = b, “Bruce Wayne” = r , “Gothan city” = g .
2 “O herói de” = h.
Forma:
.
1 b = hg
.
2 r =b
.
3 r = hg

Exemplo
1. Hb P
.
2. r =b P
3. (Hb)[b/r ] E=.
4. H(b)[b/r ] E=.
5. Hr E=.
.
Portanto, Hb, r = b Hr .

Exemplo
.
1. b = hg P
.
2. r =b P
.
3. (r = hg )[r /r , b/hg ] E=.
.
4. r [r /r ] = hg [b/hg ] E=.
.
5. r = hg E=.
. . .
Portanto, b = hg , r = b r = hg .

Argumento válido
Exemplo
1 O dois de paus perde para a manilha da manilha do treze de copas.
2 A manilha da manilha do treze de copas é o dois de paus.
3 Logo, o dois de paus perde para o dois de paus.
1 Pp2 llc13
.
2 llc13 = p2
3 Pp2 p2
.
Suponha A(Pp2 llc13 ) = > e A(llc13 = p2 ) = >. Então
. .
(A(llc13 ), A(p2 )) ∈ IA (=). Temos IA (=) = {(a, b) ∈ A2 : a = b} e
A(llc13 ) = A(p2 ). Daı́ (A(p2 ), A(llc13 )) ∈ IA (P). Porque
A(llc13 ) = A(p2 ), concluı́mos (A(p2 ), A(p2 )) ∈ IA (P), i.e.,
A(Pp2 p2 ) = >. Logo, Pp2 llc13 , llc13 = p2 Pp2 p2 .

Argumento inválido
Exemplo
1 0+1=1
2 1×1=1
3 Logo, 1 × 0 = 0
.
1 0̇ ⊕ 1̇ = 1̇
.
2 1̇ ⊗ 1̇ = 1̇
.
3 1̇ ⊗ 0̇ = 0̇
O domı́nio de A são os números naturais;

IA (0̇) = 0 e IA (1̇) = 1;
IA (⊕) é a adição e IA (⊗) é a exponenciação sobre os números
naturais;
IA (≺) é a ordem estrita dos números naturais.
Exemplo
.
Desse modo, A(0̇ ⊕ 1̇ = 1̇) = >, pois
A(⊕0̇1̇) = IA (⊕)(IA (0̇), IA (1̇)) = 0 + 1 = 1. Além disso,
.
A(1̇ ⊗ 1̇ = 1̇) = >, uma vez que A(⊗1̇1̇) = IA (⊗)(IA (1̇), IA (1̇)) = 11 = 1.
.
No entanto, A(1̇ ⊗ 0̇ = 0̇) = >, porque
A(⊗1̇0̇) = IA (⊗)(IA (1̇), IA (0̇)) = 10 = 1. Logo,
. . .
0̇ ⊕ 1̇ = 1̇, 1̇ ⊗ 1̇ = 1̇ 2 1̇ ⊗ 0̇ = 0̇.

Lema
Existe apenas um tipo de fórmula predicativa que é logicamente
.
verdadeira, a saber: τ = τ .
Demonstração.
Suponha que δτ1 · · · τn é uma fórmula predicativa sobre S verdadeira em
alguma estrutura A que interpreta S. Então, existem elementos a1 , . . . , an
em UA que são os respectivos significados de A(τ1 ), . . . , A(τn ) e
(a1 , . . . , an ) ∈ IA (δ). Defina a estrutura B sobre S que é exatamente igual
a estrutura A, exceto por duas diferenças: (1) B tem um elemento
b∈ / UA ; (2) embora B(τ2 ) = A(τ2 ), . . . , B(τn ) = A(τn ), B(τ1 ) = b.
Primeiro, é preciso ter certeza que existe um tal elemento b, o que segue
pela definição de conjunto. Sabemos que B tem realmente um elemento
b∈ / UA . Como b ∈ / UA , (b, A(τ2 ), . . . , A(τn )) ∈
/ IA (δ). Porque B(τ1 ) = b
e B(τ2 ) = A(τ2 ), . . . , B(τn ) = A(τn ), concluı́mos que
(B(τ1 ), . . . , B(τn )) ∈ / IA (δ). Ademais, definimos B de tal modo que
IB (δ) = IA (δ). Logo, (B(τ1 ), . . . , B(τn )) ∈ / IB (δ).
Teorema (Correção relacional)

Se Γ φ, então Γ φ.
Demonstração.
Se φ foi obtida pela regra de introdução da igualdade I=. , ela é da forma
. .
τ = τ . Pelo lema anterior, τ = τ é verdadeira em A. Se φ foi obtida pela
regra de eliminação da igualdade E=. , então existem fórmulas φi (τl ) e φj
em Γ tais que φi (τl ) é uma fórmula relacional da forma δτ1 · · · τl · · · τp e
. .
φj ou é τl = π ou é π = τl . Como φ foi obtida dessas duas fórmulas via
E=. , sabemos que φ é δτ1 · · · π · · · τp , ou seja, φ é (φi )[τl /π]. Por hipótese,
A é um modelo para Γ e, por isso, φi , ou seja, δτ1 · · · τl · · · τp é verdadeira
. .
em A e, pela mesma razão, se φj é τl = π então τl = π é verdadeira em
. .
A, mas se φj é π = τj então π = τl é verdadeira em A. Digamos que φj é
.
τl = π. Então, (A(τ1 ), . . . , A(τl ), . . . , A(τp )) ∈ IA (δ) e A(τl ) = A(π).
Daı́, (A(τ1 ), . . . , A(π), . . . , A(τp )) ∈ IA (δ), ou seja, φ também é
.
verdadeira em A. Caso φj seja da forma π = τl , a demonstração é
análoga.
Identidade dedutiva
Definição
Dado um conjunto de fórmulas Γ de uma linguagem relacional LS , a
identidade dedutiva sobre os termos TS é a relação binária =Γ tal que,
para todos os termos τ e π em TS ,
.
τ =Γ π se, e somente se, Γ τ = π.
Se temos um termo τ de TS e um conjunto de fórmulas Γ de FS ,

definimos a Γ-externalização de τ como sendo o conjunto
Γ(τ ) = {π ∈ TS : τ =Γ π}.

Exemplo
Na linguagem da aritmética La , considerando o conjunto de premissas
. .
Γ = {1̇ = 0̇ ⊕ 1̇, 1̇ = 1̇ ⊗ 1̇, 0̇ ≺ 1̇} temos que
Γ(0̇) = {0̇}
Γ(1̇) = {1̇, 0̇ ⊕ 1̇, 1̇ ⊗ 1̇}.

Estrutura externalizada
Definição
Ω o conjunto das Γ-externalizações. A estrutura externalizada de Γ é a
estrutura AΓ que interpreta S:
UAΓ = {Γ(τ ) ∈ Ω : τ ∈ TS };
Para toda constante σ ∈ CS ,
IAΓ (σ) = Γ(σ);
Para todo funcional ρ ∈ FS de ariedade n,
IAΓ (ρ)(Γ(τ1 ), . . . , Γ(τn )) = Γ(ρτ1 · · · τn );
Para todo relacional δ ∈ RS de ariedade n,
IAΓ (δ) = {(Γ(τ1 ), . . . , Γ(τn )) ∈ Ωn : Γ δτ1 · · · τn }.

Exemplo
Considere a seguinte estrutura externalizada definida a partir do exemplo
4.1 sobre a assinatura da aritmética Sa :
UAΓ = {Γ(0̇), Γ(1̇)} = {{0̇}, {1̇, 0̇ ⊕ 1̇, 1̇ ⊗ 1̇}};
IAΓ (0̇) = Γ(0̇) = {0̇} e IAΓ (1̇) = Γ(1̇) = {1̇, 0̇ ⊕ 1̇, 1̇ ⊗ 1̇};
3 : Γ(τ ⊕ τ ) = Γ(π)} =
IAΓ (⊕) = {(Γ(τ1 ), Γ(τ2 ), Γ(π)) ∈ UAΓ
1 2
{(Γ(0̇), Γ(1̇), Γ(1̇))};
3 : Γ(τ ⊗ τ ) = Γ(π)} =
IAΓ (⊗) = {(Γ(τ1 ), Γ(τ2 ), Γ(π)) ∈ UAΓ
1 2
{(Γ(1̇), Γ(1̇), Γ(1̇))};
IAΓ (≺) = {(0, 1)}.

Lema
AΓ (τ ) = Γ(τ ).
Demonstração.
Se τ é uma constante σ, então, por definição,
AΓ (τ ) = IAΓ (σ) = Γ(σ) = Γ(τ ). Admitamos como hipótese de indução
que para os termos τ1 , . . . , τn o resultado é verdadeiro, i.e.,
AΓ (τ1 ) = Γ(τ1 ), . . . , AΓ (τn ) = Γ(τn ). Assim, no caso de τ ser o termo
ρτ1 · · · τn , temos que AΓ (ρτ1 · · · τn ) = IAΓ (ρ)(AΓ (τ1 ), . . . , AΓ (τn )). Pela
hipótese de indução, AΓ (τ1 ) = Γ(τ1 ), . . . , AΓ (τn ) = Γ(τn ), assim
IAΓ (ρ)(AΓ (τ1 ), . . . , AΓ (τn )) = IAΓ (ρ)(Γ(τ1 ), . . . , Γ(τn )) = Γ(ρτ1 · · · τn ).
Logo, AΓ (τ ) = AΓ (ρτ1 · · · τn ) = Γ(ρτ1 · · · τn ) = Γ(τ ).

Teorema (Teorema relacional de Henkin)

Para todo conjunto de fórmulas Γ ∪ {φ} de uma linguagem relacional LS ,
Γ φ se, e somente se, AΓ (φ) = >.
Demonstração.
Suponha que Γ φ. Primeiramente, analisaremos o caso em que φ é uma
. . .
igualdade τ = π. Temos que Γ τ = π, ou seja, τ =Γ π. Assim, pela
definição da estrutura externalizada AΓ , Γ(τ ) = Γ(π). Pelo lema 4.1,
.
AΓ (τ ) = AΓ (π), i.e., AΓ (τ = π) = >. Reciprocamente, ao supormos que
. .
AΓ (τ = π) = >, concluı́mos com um argumento análogo, que Γ τ = π.
Quando φ é uma fórmula da forma δτ1 · · · τn , temos que Γ δτ1 · · · τn se,
e somente se, pela definição da estrutura externalizada,
(Γ(τ1 ), . . . , Γ(τn )) ∈ IAΓ (δ) se, e somente se, pelo lema 4.1,
(AΓ (τ1 ), . . . , AΓ (τn )) ∈ IAΓ (δ), i.e., AΓ (δτ1 · · · τn ) = >.

Teorema (Teorema da completude relacional de Gödel)

Se Γ φ, então Γ φ.
Demonstração.
Mostraremos que a estrutura externalizada AΓ é um modelo de Γ. Ao
fazermos isso, a hipótese de que Γ φ implica que AΓ (φ) = >. Daı́, pelo
teorema relacional de Henkin, concluı́mos que Γ φ. Considere uma
.
fórmula qualquer ψ ∈ Γ. Para ψ da forma τ = π, pela regra de
.
introdução, temos Γ τ = τ e, pela regra de eliminação, temos
. .
Γ (τ = π)[τ /τ ][π/π], ou seja, Γ τ = π. Pela definição de estrutura
.
externalizada, AΓ (τ = π) = >. Analogamente, para ψ da forma δτ1 · · · τn ,
.
pela regra de introdução, temos Γ τ1 = τ1 e, pela regra de eliminação,
temos Γ (δτ1 · · · τn )[τ1 /τ1 ] · · · [τn /τn ], ou seja, Γ δτ1 · · · τn . Dessa
forma, AΓ (δτ1 · · · τn ) = >. Em qualquer caso, AΓ (φ) = >.

Corolário
Não existem fórmulas relacionais logicamente falsas.
Demonstração.
Suponha que δτ1 · · · τn seja uma fórmula relacional sobre S logicamente
falsa. Isso significa que, para toda estrutura A que interpreta S, temos
A(δτ1 · · · τn ) = ⊥. Todavia, considere a estrutura A{δτ1 ···τn } externalizada
pela própria fórmula δτ1 · · · τn . Por hipótese, deverı́amos ter
A{δτ1 ···τn } (δτ1 · · · τn ) = ⊥. Pela demonstração do teorema da completude
relacional de Gödel, sabemos que A{δτ1 ···τn } (δτ1 · · · τn ) = >; o que
contradiz a hitpótese inicial.

Aula3 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Aula3 PDF

Uploaded by

Copyright:

Available Formats

Consequência sintática predicativa Consequência semântica predicativa Correção relacional Completude relacional

Universidade Federal do ABC

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 1 / 20

1 Consequência sintática predicativa

2 Consequência semântica predicativa

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 2 / 20

(τ )[τ1 /π1 , . . . , τn /πn ] = ρ1 . . . ρk (σ1 )[τ1 /π1 ] · · · (σn )[τn /πn ] · · · σl .

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 4 / 20

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 6 / 20

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 7 / 20

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 8 / 20

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 9 / 20

O domı́nio de A são os números naturais;

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 11 / 20

Teorema (Correção relacional)

Se temos um termo τ de TS e um conjunto de fórmulas Γ de FS ,

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 14 / 20

Γ(1̇) = {1̇, 0̇ ⊕ 1̇, 1̇ ⊗ 1̇}.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 15 / 20

IAΓ (σ) = Γ(σ);

Para todo funcional ρ ∈ FS de ariedade n,

IAΓ (ρ)(Γ(τ1 ), . . . , Γ(τn )) = Γ(ρτ1 · · · τn );

Para todo relacional δ ∈ RS de ariedade n,

IAΓ (δ) = {(Γ(τ1 ), . . . , Γ(τn )) ∈ Ωn : Γ δτ1 · · · τn }.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 17 / 20

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 18 / 20

Teorema (Teorema relacional de Henkin)

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 19 / 20

Teorema (Teorema da completude relacional de Gödel)

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 20 / 20

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 3 03/10/17 21 / 20

You might also like