1) O documento apresenta os conceitos básicos de expressões e significados quantificacionais na lógica, incluindo alfabeto, linguagem e verdade proposicional quantificada.
2) Exemplos ilustram o uso de quantificadores universais e existenciais em argumentos formais sobre diferentes domínios de discurso.
3) A semântica formal da verdade proposicional é definida para fórmulas quantificadas, com base na substituição de variáveis e satisfação de fórmulas em uma estrutura interpretativa.
1) O documento apresenta os conceitos básicos de expressões e significados quantificacionais na lógica, incluindo alfabeto, linguagem e verdade proposicional quantificada.
2) Exemplos ilustram o uso de quantificadores universais e existenciais em argumentos formais sobre diferentes domínios de discurso.
3) A semântica formal da verdade proposicional é definida para fórmulas quantificadas, com base na substituição de variáveis e satisfação de fórmulas em uma estrutura interpretativa.
1) O documento apresenta os conceitos básicos de expressões e significados quantificacionais na lógica, incluindo alfabeto, linguagem e verdade proposicional quantificada.
2) Exemplos ilustram o uso de quantificadores universais e existenciais em argumentos formais sobre diferentes domínios de discurso.
3) A semântica formal da verdade proposicional é definida para fórmulas quantificadas, com base na substituição de variáveis e satisfação de fórmulas em uma estrutura interpretativa.
1) O documento apresenta os conceitos básicos de expressões e significados quantificacionais na lógica, incluindo alfabeto, linguagem e verdade proposicional quantificada.
2) Exemplos ilustram o uso de quantificadores universais e existenciais em argumentos formais sobre diferentes domínios de discurso.
3) A semântica formal da verdade proposicional é definida para fórmulas quantificadas, com base na substituição de variáveis e satisfação de fórmulas em uma estrutura interpretativa.
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
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
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
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
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
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
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
