Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma...
Transcript of Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma...
![Page 1: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/1.jpg)
Sintaxe de LC
Renata de Freitas e Petrucio Viana
Instituto de Matematica e Estatıstica, UFF13 de marco de 2015
![Page 2: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/2.jpg)
Sumario
I Sentencas e conectivos
I Sintaxe da Logica dos Conectivos, LC
I Recursao em formulas
I Exercıcios
![Page 3: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/3.jpg)
Parte 1
Sentencas e conectivos
![Page 4: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/4.jpg)
Logica dos Conectivos
Iniciamos nosso estudo pela apresentacao daLogica dos Conectivos, LC.
![Page 5: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/5.jpg)
Sentencas e conectivos
Sentencas sao frases que podem ser avaliadas como verdadeiras oufalsas e podem ser utilizadas para formar novas sentencas.
Em LC exploramos partıculas gramaticais simples, como
nao e o caso que . . . , . . . e simultaneamente . . .
(chamadas conectivos) e investigamos o papel delas na formacao ena avaliacao de sentencas.
![Page 6: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/6.jpg)
Sentencas atomicas e moleculares
Quanto a sua formacao, em LC, as sentencas sao classificadas emduas categorias:
Sentencas atomicas nao sao analisadas.
Sentencas moleculares sao analisadas e consideradas comoformadas a partir de outras sentencas, pelo uso dos conectivos.
![Page 7: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/7.jpg)
Descricao de um sistema logico
A descricao de um sistema logico e feita pela apresentacao
da linguagem formal na qual as sentencas vao ser “traduzidas”
e
do mecanismo de inferencia com o qual novas sentencas saoproduzidas, a partir de sentencas dadas.
![Page 8: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/8.jpg)
Sintaxe e semantica
A descricao de uma linguagem formal e feita, em geral, em duasetapas:
1. Sintaxe: qual o alfabeto da linguagem e como as palavras,frases e textos da linguagem sao formados.
2. Semantica: que significados podem ser atribuıdos as letras doalfabeto, as palavras, frases e textos da linguagem.
![Page 9: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/9.jpg)
Parte 2
Sintaxe da Logica dos Conectivos
![Page 10: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/10.jpg)
Alfabetos
Do ponto de vista formal, um alfabeto e um conjunto nao vazio desimbolos.
O alfabeto de lıngua portuguesa.
O alfabeto de lıngua portuguesa acrescido de todos os sımbolosusados em Matematica.
A = { ′ }
B = {p, ′}
![Page 11: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/11.jpg)
Sintaxe de LC
Definicao O alfabeto de LC consiste dos seguintes sımbolos:
I Variaveis para sentencas: p , q , r , (indexadas ou nao).
I Conectivos: ¬ , ∧ , ∨ , → , ↔I Sinais de pontuacao: ( , )
O conjunto das variaveis para sentencas e denotado por VS e podeser finito ou infinito, dependendo da situacao.
![Page 12: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/12.jpg)
Assumimos que:
(i) os sımbolos do alfabeto sao distintos dois a dois;
(ii) e nenhum sımbolo e uma sequencia de outros sımbolos.
Isto ajuda a garantir a legibilidade unica das palavras da linguagem.
![Page 13: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/13.jpg)
Significado intuitivo
Variaveis sentenciais — sentencas (atomicas) da LınguaPortuguesa ou da Linguagem Matematica.
conectivo nome significado
¬ sımbolo de negacao nao e o caso que∧ sımbolo de conjuncao e∨ sımbolo de disjuncao ou (inclusivo)→ sımbolo de implicacao se...entao↔ sımbolo de biimplicacao se, e somente se
![Page 14: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/14.jpg)
Alfabetos e palavras
Dado um alfabeto A, qualquer, uma palavra sobre A e umasequencia finita de sımbolos de A.
A palavra cujos sımbolos sao s1, s2, s3, . . . , sn, nesta ordem, edenotada por s1s2s3 . . . sn.
Por exemplo, se A = {a, b}, as seguintes sao palavras sobre A: a,b, aa, ab, ba, bb, aaa, aab, . . .
![Page 15: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/15.jpg)
Palavras de LC
Uma palavra de LC e uma sequencia finita qualquer de sımbolos doalfabeto de LC.
Algumas fazem sentido e outras nao.
p1q1r1¬ ∧ ()(()) , (p1(p1 → p2)p2)
¬¬p1 ↔ p1 , ((p1 ∧ (p1 → p2)) → p2)
![Page 16: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/16.jpg)
Primeiro objetivo sintatico
Apresentar uma definicao que seleciona, de uma maneirapuramente sintatica (isto e, sem fazer referencias aos significadosintuitivos dos sımbolos), dentre todas as palavras possıveis deserem formadas com os sımbolos do alfabeto da LC, aquelas queconsideraremos como fazendo sentido.
![Page 17: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/17.jpg)
Formulas de LC
Definicao As formulas de LC sao obtidas por aplicacao dasseguintes regras:
1. Cada variavel para sentenca e uma formula.
2. Se ϕ e uma formula, entao (¬ϕ) e uma formula.
3. Se ϕ e ψ sao formulas, entao (ϕ ∧ ψ), (ϕ ∨ ψ), (ϕ→ ψ) e(ϕ↔ ψ) sao formulas.
Assumimos que nenhum objeto e uma formula a nao ser que possaser obtido por um numero finito de aplicacoes das regras acima.
![Page 18: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/18.jpg)
Sao exemplos de formulas
p , q , r
(¬p) , (¬q)
(p ∧ (¬p))
((¬q) → (p ∧ (¬p)))
(((¬q) → (p ∧ (¬p))) → q)
(p ∨ q) , (p → r) , (q → r)
((p ∨ q) ∧ (p → r))
(((p ∨ q) ∧ (p → r)) ∧ (q → r))
((((p ∨ q) ∧ (p → r)) ∧ (q → r)) → r)
![Page 19: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/19.jpg)
Nao sao exemplos de formulas
¬p , q¬ , pq
((¬p)) , p ∧ (¬p)
((¬q) → (p ∧ ¬p)) → (q)
Observacao
Algumas expressoes listadas acima nao sao formulas “apenas” porpossuırem ocorrencias de parenteses em falta ou em excesso.
![Page 20: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/20.jpg)
Classificacao das formulas
Definicao Sejam ϕ e ψ formulas de LC. Dizemos que:
1. ϕ e atomica se e uma variavel para sentencas.
2. ϕ e molecular se nao e uma variavel para sentencas.
3. (¬ϕ) e a negacao de ϕ.Dizemos tambem que ϕ e a componente da negacao.
4. (ϕ ∧ ψ) e a conjuncao de ϕ com ψ.Dizemos tambem que ϕ e a primeira componente e ψ e asegunda componente da conjuncao.
![Page 21: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/21.jpg)
Classificacao das formulas
5. (ϕ ∨ ψ) e a disjuncao de ϕ com ψ.Dizemos tambem que ϕ e a primeira componente e ψ e asegunda componente da disjuncao.
6. (ϕ→ ψ) e a implicacao de ψ por ϕ (observe a ordem em queas formulas estao sendo referidas).Dizemos tambem que ϕ e o antecedente e ψ e o consequenteda implicacao.
7. (ϕ↔ ψ) e a biimplicacao de ϕ com ψ.Dizemos tambem que ϕ e a primeira componente e ψ e osegunda componente da biimplicacao.
![Page 22: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/22.jpg)
Parte 3
Recursao em formulas
![Page 23: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/23.jpg)
Recursao em formulas
Pela definicao temos que:
1. Toda formula e gerada a partir das variaveis para sentencaspor aplicacao dos conectivos e as formulas sao os unicosobjetos obtidos por este processo.
2. Cada formula e gerada de um unico modo a partir dasvariaveis para sentencas por aplicacao iterada dos conectivos.
Gracas a estas duas propriedades podemos:
1. Provar propriedades que sao verdadeiras para todas asformulas pelo metodo de inducao;
2. Definir conceitos que se aplicam a todas as formulas pelometodo de recursao.
![Page 24: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/24.jpg)
Metodo de definicao por recursao em formulas.
Para definir um conceito C para todas as formulas, basta fazer oseguinte:
1. Definir o conceito C para todas as variaveis para sentencas.
2. Supor que o conceito C esta definido para formulas arbitrariasϕ e ψ.
3. Mostrar como o conceito C pode ser definido para as formulas(¬ϕ), (ϕ ∧ ψ), (ϕ ∨ ψ), (ϕ→ ψ) e (ϕ↔ ψ), usando ahipotese de que C esta definido para ϕ e ψ.
![Page 25: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/25.jpg)
Exemplo
Considere o seguinte conceito sobre formulas ϕ.
VS[ϕ] : conjunto das variaveis para sentencas de ϕ.
Por exemplo:
VS[p] = VS[(p ∧ (¬p))] = {p}
VS[(p ∨ q) ∧ ((¬p) ∨ (¬q))] = {p, q}
Vamos definir VS[ϕ] usando o Metodo de Definicao por Recursaoem Formulas.
![Page 26: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/26.jpg)
Definicao recursiva de VS[ϕ]
Definicao Seja ϕ ∈ FLC.
O conjunto das variaveis para sentencas de ϕ, denotado porVS[ϕ], e definido recursivamente pelas seguintes regras:
1. Se ϕ for uma variavel para sentencas, entao VS[ϕ] = {ϕ}.
2. Se ϕ for uma negacao (¬ψ), entao VS[ϕ] = VS[ψ].
3. Se ϕ for uma conjuncao (ψ ∧ θ), entaoVS[ϕ] = VS[ψ] ∪ VS[θ].
![Page 27: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/27.jpg)
4. Se ϕ for uma disjuncao (ψ ∨ θ), entao VS[ϕ] = VS[ψ]∪VS[θ].
5. Se ϕ for uma implicacao (ψ → θ), entaoVS[ϕ] = VS[ψ] ∪ VS[θ].
6. Se ϕ for uma bi-implicacao (ψ ↔ θ), entaoVS[ϕ] = VS[ψ] ∪ VS[θ].
![Page 28: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/28.jpg)
Calculando VS[ϕ]
A definicao fornece um procedimento para, dada uma formula ϕ,calcularmos VS[ϕ].
VS[(p ∨ q) ∧ ((¬p) ∨ (¬q))] =
VS[(p ∨ q)] ∪ VS[((¬p) ∨ (¬q))] =
VS[p] ∪ VS[q] ∪ VS[(¬p)] ∪ VS[(¬q)] =
VS[p] ∪ VS[q] ∪ VS[p] ∪ VS[q] =
{p} ∪ {q} ∪ {p} ∪ {q} =
{p, q}
Pode nao ser eficiente mas e controlado e automatizavel!
![Page 29: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/29.jpg)
Definicao recursiva de VS[ϕ], com casos analogos
Para poupar espaco e tempo, costumamos simplificar a redacao:
Definicao Seja ϕ ∈ FLC.
O conjunto das variaveis para sentencas de ϕ, denotado porVS[ϕ], e definido pelas seguintes regras:
1. Se ϕ for uma variavel para sentencas, entao VS[ϕ] = {ϕ}.
2. Se ϕ for uma negacao (¬ψ), entao VS[ϕ] = VS[ψ].
3. Se ϕ for uma conjuncao (ψ ∧ θ), entaoVS[ϕ] = VS[ψ] ∪ VS[θ].
4. Os casos ∨, → e ↔ sao inteiramente analogos ao caso ∧.
![Page 30: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/30.jpg)
Parte 4
Exercıcios!!! Uh-hu!!!
![Page 31: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/31.jpg)
Exercıcio 1
Recordamos que, dado um alfabeto A, qualquer, uma palavra sobreA e uma sequencia finita de sımbolos de A.
E que a palavra cujos sımbolos sao s1, s2, s3, . . . , sn, nesta ordem,e denotada por s1s2s3 . . . sn.
Dado o alfabeto B = {a, b, c}, defina o conjunto das palavrassobre B por inducao.
![Page 32: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/32.jpg)
Exercıcio 2
Defina os seguintes conceitos sobre formulas ϕ, usando o Metodode Definicao por Recursao em Formulas.
1. SF[ϕ] : conjunto das subformulas de ϕ
2. Con[ϕ] : conjunto dos conectivos de ϕ
3. NCon[ϕ] : numero de ocorrencias de conectivos em ϕ
4. Comp[ϕ] : comprimento de ϕ
Quando contamos ocorrencias de sımbolos, as repeticoes desımbolos sao contabilizadas.
![Page 33: Sintaxe de LC - Federal University of Rio de JaneiroSintaxe e sem^antica A descri˘c~ao de uma linguagem formal e feita, em geral, em duas etapas: 1.Sintaxe: qual o alfabeto da linguagem](https://reader036.fdocumentos.com/reader036/viewer/2022081403/6093892ad582cc252853738c/html5/thumbnails/33.jpg)
Mais exercıcios!
1. Ler o texto da Aula 2.
2. Resolver os exercıcios da Lista 2.