Expressões quantificacionais Significados quantificacionais

Lógica básica
Aula 7

Anderson Beraldo-de-Araújo
Pedro Carrasqueira

Universidade Federal do ABC

14/11/17

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 1 / 15

 Expressões quantificacionais Significados quantificacionais

1 Expressões quantificacionais

2 Significados quantificacionais

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 2 / 15

 Expressões quantificacionais Significados quantificacionais

Argumento quantificacional

Exemplo
Todo herói promove o bem. Ora, o Batman é um herói. Logo, alguém
promove o bem.

Exemplo
O fulano é um grande guerreiro. Ora, o fulano é Abrão. Portanto, Abrão é
um grande guerreiro.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 3 / 15

 Expressões quantificacionais Significados quantificacionais

Alfabeto quantificacional

Definição
Alfabeto quantificacional BS :
1 Assinatura S;
2 Sı́mbolos auxiliares E = {(, )};
3 Sı́mbolos conectivos O = {¬, ∧, ∨, →};
4 Variáveis X = {x, y , z, . . .};
5 Sı́mbolos quantificadores

Q = {∀, ∃},

“todo” = ∀;
“algum” = ∃.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 4 / 15

 Expressões quantificacionais Significados quantificacionais

Linguagem quantificacional
Definição
O conjunto dos termos quantificacionais TS :
1 As constantes e variáveis de BS estão em TS ;
2 Se ρ é um sı́mbolo funcional n-ário de S e τ1 , . . . , τn estão em TS ,
então ρτ1 · · · τn também está em TS .

Definição
Conjunto das fórmulas quantificacionais FS :
1 Se ψ é uma fórmula relacional sobre BS , então ψ está em FS ;
2 Se ψ é uma fórmula proposicional sobre BS , então ψ está em FS ;
3 Se φ está em FS e λ é uma variável de BS , então ∀λφ e ∃λφ
também estão em FS .
A fórmula φ é chamada escopo do quantificador.
Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 5 / 15
 Expressões quantificacionais Significados quantificacionais

Exemplo
Linguagem quantificacional LS com S composta por CS = {b}, FS =  e
RS = {H, P} com ar (H) = ar (P) = 1 é tal que:
1 “Batman” = b;
2 “Ser um herói” = H;
3 “Promover o bem” = B.
Forma do argumento:
1 ∀x(Hx → Bx)
2 Hb
3 ∃yBy

∀x(Hx → Bx), Hb ` ∃yBy .

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 6 / 15

 Expressões quantificacionais Significados quantificacionais

Exemplo
1 Sempre que chove muito no centro de uma cidade, algumas de suas
ruas alagam ou a chuva escoa.
2 Em Atlândida, uma linda cidade, as ruas não estão alagadas, nem
tampouco a chuva escoou.
3 Logo, não choveu muito no centro de Atlântida.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 7 / 15

 Expressões quantificacionais Significados quantificacionais

Exemplo
Linguagem proposicional LS sobre S composta por CS = {a, c}, FS = f
com ar (f ) = 1 e RS = {C , H, A, E , L} com
ar (C ) = ar (H) = ar (A) = ar (E ) = ar (L) = 1:
1 “Atlândida” = a;
2 “Chuva” = c;
3 “Centro de” = f ;
4 “Ser cidade” = C ;
5 “Chover muito” = H;
6 “Ser uma rua alagada” = R;
7 “Escoar” = E ;
8 “Ser linda” = L.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 8 / 15

 Expressões quantificacionais Significados quantificacionais

Exemplo
Forma do argumento:
1 ∀x((Cx ∧ Hfx) → (∃yRy ∨ Ec))
2 Ca ∧ La ∧ ∀y ¬Ry ∧ ¬Ec
3 ¬Hfa

∀x((Cx ∧ Hfx) → (∃yRy ∨ Ec)), Ca ∧ La ∧ ∀y ¬Ry ∧ ¬Ec ` ¬Hfa.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 9 / 15

 Expressões quantificacionais Significados quantificacionais

Verdade proposicional

Definição
Para fórmulas fechadas, o significado A(χ) de uma fórmula geral:
1 A(∀λψ) = > se, e somente se, para todo elemento a ∈ DA ,

Aσa (ψ∇(λ/σa )) = >.

2 A(∃λψ) = > se, e somente se, para algum elemento a ∈ DA ,

Aσa (ψ∇(λ/σa )) = >.

Para uma fórmula aberta φ cujas variáveis são λ1 , . . . , λn , definimos que

A(φ) = > se, e somente se, A(∀λ1 · · · ∀λn φ) = >.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 10 / 15

 Expressões quantificacionais Significados quantificacionais

Exemplo
Por definição, Ab (∃x(Ge1 x ∧ Pxe1 )) = > se, e somente se, para algum
elemento c ∈ DAb ,

Aσb c ((Ge1 (x)(x/σc ) ∧ P(x)(x/σc )e1 )) = >.

Para c = ♣1 , temos Aσa c (Ge1 p1 ) = > e Aσa c (Pp1 e1 ) = > e,

consequentemente, Aσa c ((Ge1 (x)(x/σc ) ∧ P(x)(x/σc )e1 )) =
Aσa c ((Ge1 (x)(x/p1 ) ∧ P(x)(x/p1 )e1 )) = Aσa c (Ge1 p1 ∧ Pp1 e1 ) = >.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 11 / 15

 Expressões quantificacionais Significados quantificacionais

Exemplo
1. Por definição, A(∀x∃yx ≺ y ) = > se, e somente se, para todo elemento
c ∈ DAa ,
Aċa (∃y (x)(x/ċ) ≺ y ) = >.
2. Para cada c, a fórmula ∃y (x)(x/ċ) ≺ y é existencial. Portanto,
A(∀x∃yx ≺ y ) = > se, e somente se, para todo algum e ∈ DAa ,

Aċ, ė
a ((x)(x/ċ) ≺ (y )(y /ė)) = >.

3. Considere c ∈ DAa . Se c = 0, então existe um e ∈ DAċa tal que c < e;

basta considerar, por exemplo, e = 1.
4. Assim, temos que Aċ, ė ċ,ė
a ((x)(x/ċ) ≺ (y )(y /ė)) = Aa ((x)(x/ċ) ≺
(y )(y /ė)) = Aċ, ė
a (0̇ ≺ 1̇) = >.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 12 / 15

 Expressões quantificacionais Significados quantificacionais

Exemplo
5. Suponha que Aċ, ė
a ((x)(x/ċ) ≺ (y )(y /ė)) = > para c = m.
6. Daı́, para algum n tal que e = n, m < n. Considerando, então,
c = m + 1, basta considerar, por exemplo, e = n + 1, pois, uma vez que
m < n, temos que n + 1 < e + 1, ou seja, c < e.
7. Portanto, Aċ, ė ċ,ė
a ((x)(x/ċ) ≺ (y )(y /ė)) = Aa ((x)(x/ṁ ⊕ 1̇) ≺
ċ,ė
(y )(y /ṅ ⊕ 1̇)) = Aa (ṁ ⊕ 1̇ ≺ ṅ ⊕ 1̇) = >.
8. Logo, pelo princı́pio de indução, para qualquer que seja o elemento
c ∈ DAa , existe pelo menos um elemento e ∈ DAa tal que
Aċ, ė
a ((x)(x/ċ) ≺ (y )(y /ė)) = >, isto é,

Aa (∀x∃yx ≺ y ) = >.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 13 / 15

 Expressões quantificacionais Significados quantificacionais

Lema (Lema da localidade)

Sejam A1 e A2 estruturas que interpretam, respectivamente, S1 e S2 .
Consideremos S = S1 ∩ S2 e uma fórmula φ de LS . Dessa forma, se
IA1 (ω) = IA2 (ω) para todo ω ∈ S, então A1 (φ) = A2 (φ).

Lema (Extensionalidade)
Se A é uma estrutura que interpreta S e σi bem como σj são constantes
diferentes de S tais que IA (σi ) = IA (σj ), então, para fórmula φ(λ) de LS ,
A(φ(λ/σi )) = A(φ(λ/σj )).

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 14 / 15

 Expressões quantificacionais Significados quantificacionais

Proposição
Se A é uma estrutura que interpreta uma assinatura S tal que, para todo
elemento a ∈ UA , existe alguma constante σ ∈ CS tal que IA (σ) = a,
então vale:
1 A(∀λφ) = > se, e somente se, para toda σ ∈ CS , A(φ(λ/σ) = >;
2 A(∃λφ) = > se, e somente se, para alguma σ ∈ CS , A(φ(λ/σ) = >.

Demonstração.
Suponhamos que A(∃λφ) = >. Assim, para algum elemento a ∈ UA ,
Aσa (φ(λ/σa )) = >. Para cada elemento a ∈ UA , existe uma constante
σ ∈ CS tal que IA (σ) = a. Como Aσa (σa ) = a, IA (σ) = Aσa (σa ) e, pelo
lema da extensionalidade, para alguma σ ∈ CS , A(φ(λ/σ)) = >.
Conversamente, suponhamos que, para alguma σ ∈ CS , A(φ(λ/σ)) = >.
Seja IA (σ) = a. Novamente, como Aσa (σa ) = a e IA (σ) = Aσa (σa ), pelo
lema da extensionalidade, existe a ∈ UA tal que Aσa (φ(λ/σa )) = >, ou
seja, A(∃λφ) = >.
Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 7 14/11/17 15 / 15