LISTA 2

Sintaxe da Lógica Proposicional

2.1 Alfabetos, Linguagens e Expressões

Questão 1. Dena alfabeto, palavra, concatenação, linguagens e o conjunto de todas as palavras

sobre algum alfabeto Σ.

Questão 2. Dena o que é uma função geradora de uma linguagem em Σ∗ .

Questão 3. Considere o alfabeto Σ = {x, y, +, −, (, )} e as funções geradoras f : Σ∗ → Σ∗ e g, h :

Σ∗ × Σ∗ → Σ∗ , tais que: f (w) = ”(w)”, g(w1 , w2 ) = ” + w1 w2 ” e h(w1 , w2 ) = ”w1 w2 − ”. Diga
se as seguintes expressões são geradas por essas funções e mostre um modo de montá-las.

i (x-(y+(x-y)))

ii (xy-)())-

iii )x()y(

iv x+(x-(y+x))

Questão 4. Considere agora o alfabeto Σ = {@, φ, ψ, ♥, , 4} e as funções geradoras f : Σ∗ → Σ∗ e

g, h, i : Σ∗ × Σ∗ → Σ∗ , tais que: f (w) = ”@w@”, g(w1 , w2 ) = ”w1 w2 ”, h(w1 , w2 ) = ”w1 w2 4”
∗
e i(w1 , w2 ) = ”w1 ♥w2 ”. Partindo do subconjunto X = {ψ, φ} ∈ Σ , responda a seguir.

i É possível gerar a palavra "@ψ♥@@φψ@φ4@@"?

ii Existe mais de um modo de gerá-la? Explique com suas palavras por que.

2.2 Conjuntos Indutivos

Questão 5. Dena conjunto indutivo. O que é a base de um conjunto indutivo? O que signica
dizer que um conjunto é fechado sob um conjunto de funções? Qual o maior conjunto indutivo
sobre uma base qualque X e um conjunto qualquer de funções F?

Questão 6. Dena indutivamente os possíveis valores que podem ser pagos apenas com cédulas de
2 e 5 reais.

Questão 7. Dena indutivamente o conjunto de pares ordenados (a, b) tais que a≥b e a, b ∈ N.

Questão 8. Mônica é uma garota muito talentosa que vai ao Cin vender donuts nas terças e quintas.
Normalmente, ela os mantém numa caixa quadrada, mas devido a questões de fornecimento,
agora utiliza caixas em linha reta, na qual há largura para apenas um donut, embora tenha
comprimento innito. Certo dia, ela decidiu trazer 3 sabores diferentes: Chocolate branco (C ),
Brigadeiro (B ) e Doce de leite (D ). Entretanto, ela sabe que não pode deixar um donut de
doce de leite encostar num donut de chocolate branco, pois a cobertura de doce de leite iria

5
 deixar o chocolate branco muito menos atrativo (apesar de ainda ser delicioso). Ela também
gosta quando há uma diversidade de cores à mostra, e por isso nunca deixa donuts de mesmo
sabor um ao lado do outro. Além disso, como ela sabe que o sabor favorito de Ambrósio é
o de Brigadeiro, ela sempre deixa esse sabor como o primeiro da caixa. Mônica ainda não
está acostumada com sua nova caixa, mas ela sabe que você estudou lógica e pode ajudá-la,
denindo indutivamente o conjunto de donuts, em ordem, que ela pode levar para vender.
Ela precisa tanto de ajuda que prometeu dar desconto para quem denisse corretamente o
obs
conjunto (É verdade esse bilhete) . Represente o conjunto em forma de string, onde cada
sabor é correspondido pela sua letra inicial, ou seja, a string  BCD  representaria que ela
trouxe, nessa ordem, um donut de Brigadeiro, um de Chocolate branco e um de Doce de leite.
obs : Eh mintira esse bilete.

Questão 9. Considere a estante de uma biblioteca com livros de Lógica e Filosoa. Considere
também o conjunto B, que contém todas as congurações possíveis da disposição dos livros
numa estante que respeitam as propriedades listadas a seguir (Entenda por conguração cadeias
de tamanho nito em cima do alfabeto {L, F }, onde L representa livro de Lógica e F livro de
Filosoa):

1. Os livros de Filosoa precisam estar agrupados de 2 em 2 (nem mais, nem menos);

2. Os livros de Filosoa precisam estar entre livros de Lógica;

3. Não pode haver estante vazia;

4. Não há distinção entre livros da mesma matéria.

5. Cada conguração deve ter tamanho par. Exemplos de conguração legal: LF F LLLF F LL,
LLF F LL, LLLL. Exemplos de conguração que não respeita as propriedades: F F LF F L,
LF F LL, LF F F LL.

i Dena B indutivamente, identicando o conjunto base X e as funções geradoras em F.

ii Descreva em poucas palavras quais os maior e menor conjuntos indutivos de X sob F.
iii Dê um exemplo de um conjunto indutivo deX sob F que não é nem o maior nem o menor.

Questão 10. Anjolina, uma renomada geneticista, pediu para seus alunos criarem um programa que
simulasse a estrutura helicoidal do DNA. Sendo assim, o programa iria receber como entrada
uma sequência de bases nitrogenadas na esquerda, teria um único "0"no meio para a separação
do resultado, e à direita do "0"seria a ta complementar à ta da entrada. Entretanto, como
os alunos ainda não são tão experientes em programação, o programa saiu com certos critérios
e falhas em seu funcionamento:

1. Nenhuma cadeia de bases de entrada pode terminar e nem começar com Adenina(A) e
também não podem conter duas juntas.

2. A Guanina(G) e a Citosina(C ) sempre precisam estar juntas(ao som de Gal Costa). De-
talhe: alguns alunos podem ter interpretado mal essa regra. A ideia que é que pares
de "CG"sempre tem que estar juntos, ou seja, sempre em duplas. Mas pessoas podem
ter criado a opção de ter "CGC "ou  GCG por não estar claro no enunciado. Para
esse caso, a base deve conter mais dois elementos: {GCGxCGC, CGCxGCG} e também
mais quatro funções geradoras unárias: i(x) = CGCxGCG, t(x) = GCGxCGC, h(x) =
CGCAxU GCGej(x) = GCGAxU CGC . Se a interpretação for essa e não contiver esses
adicionais além das funções e elementos já determinados abaixo, então há erro.

3. Por um leve descuido na criação do programa, toda vez que aparece uma sequência de 3
bases do tipo consoante-vogal-consoante o programa interpreta esse trecho como um RNA
e, logicamente, a sua resposta pra essas 3 bases sai como um complemento em RNA.

6
 Ex do funcionamento: Tabelinha:CGT 0ACG ← é uma saída do programa. → A − T e C − G
são os complementos no DNA . → A−U e C −G são os complementos no RNA. Visando ajudar
a nossa famosa cientista, Robson, seu estagiário, precisa de você para ajudá-lo a encontrar a
raiz do problema. Então, sua função é denir o conjunto A de todas as respostas e entradas
possíveis desse programa bugado, destacando (i) a base de A e (ii) o conjunto de funções
geradoras de A.

2.3 Fecho Indutivo

Questão 11. Dena matematicamente o que é o menor conjunto indutivo ( X + ), e o que é fecho
indutivo (X+ ).

Questão 12. Dê um esboço da demonstração de que o menor conjunto indutivo é igual ao fecho
indutivo. Em outras palavras, prove que X + = X+

Questão 13. Considere o alfabeto binário. É possível armar que o fecho indutivo de X sob F
é o conjunto das cadeias binárias de tamanho par, onde X = {00, 11, 10, 01} e F = {g},
g : Σ∗ → Σ∗ e g(x) = xx (x concatenado com x). Justique.

2.4 Conjunto Livremente Gerado

Questão 14. Dê um exemplo de um conjunto innito que é o fecho indutivo de um conjunto nito
e não é livremente gerado. Justique sua resposta.

Questão 15. Dena indutivamente o conjunto de todas as cadeias sobre o alfabeto Σ = {a, b, c}
que tem o formato (n ≥ 0). Identique: (i) a base da indução; (ii) as funções geradoras e (iii)
o maior conjunto indutivo. (iv) Prove se esse conjunto é ou não livremente gerado.

Questão 16. Dena indutivamente o conjunto de todas as cadeias sobre o alfabeto Σ = {a, b, c} que
são palíndromos de tamanho par. Identique: (i) a base da indução; (ii) as funções geradoras
e (iii) o maior conjunto indutivo. Prove se esse conjunto é ou não livremente gerado.

Questão 17. Sejam Γ = {a, b, c} e f : Γ × Γ → Γ. Dena valores para f para que Γ seja fecho
indutivo de X = {a, b} sob {f }, sem que Γ seja um conjunto livremente gerado por X e {f }.

Questão 18. Seja X = {1} e F = {f, g} onde f e g são funções denidas como a seguir: f : N∗ →
N∗ e g : N∗ → N∗ , e N∗ é o conjunto dos números naturais positivos, tal que f (n) = 3n e
g(n) = 2n. Qual é o fecho indutivo sob X e F ? Esse conjunto é livremente gerado? Justique
apropriadamente.

Questão 19. Dena indutivamente o conjunto de todas as cadeias sobre o alfabeto Σ = {a, b, c}
que tem o formato (n ≥ 0). Identique : (i) a base da indução; (ii) as funções geradoras e
(iii) o maior conjunto indutivo, descrevendo-o. (iv) Prove se esse conjunto é ou não livremente
gerado.

Questão 20. Seja A = {2, 4, 6} e f : A × A → A → A, a função denida pela seguinte tabela:

f 2 4 6
2 (2, 4) (2, 6) (2, 4)
4 (2, 2) (6, 4) (4, 2)
6 (2, 4) (4, 2) (6, 6)

a) Qual o fecho Indutivo de X=(4,4) sob F=f? Dê uma prova da sua resposta usando o método
de baixo para cima para calcular fecho. b) Esse fecho indutivo é livremente gerado? Prove ou
refute. c) Liste os elementos do maior conjunto indutivo sob X= (2,2) e F=f

7
Questão 21. A general Anjolina estava estudando a formação de seu pelotão em campo e percebeu
que quando adotava certa estratégia havia mais chance de vencer a batalha. Sabe-se que o
pelotão é composto por soldados (S ), tenentes (T ), majores (M ) e um coronel (C ) dispostos
em linha reta. As formações são codicadas em formato de string. A tal estratégia consiste em
fazer seu pelotão ter o formato especicado como o conjunto:

B = {w ∈ {S, T, M, C}∗ | w é da forma wn S...Sw1 SvSw1r S...Swnr , com wi sendo

cadeias com 2S e 1T , cada, v sendo um palíndromo de C , M e T , de tamanho 5,
r
com o coronel sempre no centro e wi sendo os reversos de wi }.

Considere que o reverso de uma cadeia w é a mesma cadeia com a ordem de seus caracteres
r r
invertida -e se escreve w . Por exemplo, se w = SST , então w = T SS . E um palíndromo é
r
uma cadeia cujos caracteres equidistantes do centro são idênticos, ou seja, v = v . Por exemplo,
v = T M CM T = vr . Um exemplo de formação bem sucedida é SST ST M CM T ST SS . Dena
indutivamente o conjunto B de todas as formações em que a general Anjolina tem maior
chance de vencer, destacando ()i) o conjunto base X e (ii) o conjunto de funções geradoras F.
E responda: (iii) B é um conjunto livremente gerado?

2.5 Conjuntos EXPR e PROP

Questão 22. Considere X o conjunto das constantes e variáveis da lógica proposicional (ou seja,
o conjunto base) e Σ o alfabeto sem os parênteses. O conjunto das proposições na notação
prexa (P ROP − pre) é o fecho indutivo sobre X e o seguinte conjunto F de funções.
f∧ (A, B) = ∧AB
f∨ (A, B) = ∨AB
f→ (A, B) =→ AB
f¬ (A) = ¬A
O conjunto P ROP − pre em notação prexa é livremente gerado? Prove ou refute.

Questão 23. Considere X o conjunto das constantes e variáveis da lógica proposicional (ou seja, o
conjunto base) e Σ o alfabeto sem os parênteses. O conjunto das proposições na notação suxa
(P ROP − suf ) é o fecho indutivo sob X e o seguinte conjunto F de funções.
f∧ (A, B) = AB∧
f∨ (A, B) = AB∨
f→ (A, B) = AB →
f¬ (A) = A¬
O conjunto das proposições em notação suxa é livremente gerado? Prove ou refute.

Questão 24. Considere X como sendo o conjunto das constantes e variáveis da lógica proposicional.

i Seja Σ o alfabeto sem o parêntese que fecha (ou seja o  ) ) e F o conjunto de funções
que geram as fórmulas sem os parênteses que fecham. Por exemplo, f ∨ (φ, ψ) = (φ ∨ ψ .
O fecho indutivo sobre X e F é livremente gerado? Prove ou refute.

ii Seja Σ o alfabeto sem os parênteses e F o conjunto de funções que geram as fórmulas sem
os parênteses. Por exemplo, f ∨ (φ, ψ) = φ ∨ ψ . O fecho indutivo sobre X e F é livremente
gerado? Prove ou refute.

Questão 25. Considere X o conjunto das constantes e variáveis da lógica proposicional (ou seja, o
conjunto base), Σ o alfabeto e F , o conjunto de funções usuais (ou seja, F = {f¬ , f∧ , f∨ , f→ }).
Considere a seguinte função f1 : Σ → Σ∗ denida abaixo:
(¬0)

 se x = ”00”

)0 ∨ 1( se x = ”01”

f1 (x) =

 (1 ∧ 0) se x = ”10”
1 se x = ”11”


8
 i Qual é o fecho indutivo de X sob o conjunto de funções F 0 = {f1 , f∧ , f∨ , f→ } (ou seja,
substituímos f¬ por f1 )? Justique sua resposta.

ii A seguinte armação é verdadeira ou falsa? Justique sua resposta.

O fecho indutivo sob X e F 0 não é livremente gerado. Uma das razões é que f1
não é injetora, pois f1 (00) = f1 (0). E outro motivo é a constante `1', que é um
elemento da base, está no conjunto imagem de f1 .

iii Suponha que o operador ternário $ denido na questão anterior agora faz parte dos co-
nectivos da lógica proposicional. Dessa forma, se A, B e C forem expressões legítimas,
$(A, B, C) também será uma expressão legítima. Por exemplo, $(0, 0, 1), (z∨$(1, x, y)) e
(¬$(x, (1 ∧ y), 0)) também são expressões legítimas. Como você faria para gerar o novo
conjunto das expressões legítimas da lógica por meio de conjuntos indutivos? [Dica: altere
o alfabeto Σ e o conjunto de funções].

Questão 26. Considere X o conjunto das constantes e variáveis da lógica proposicional (ou seja,
o conjunto base) e Σ o alfabeto sem os parênteses. O conjunto das proposições na notação
prexa é o fecho indutivo sob X e o seguinte conjunto F de funções.
f∧ (A, B) = ∧AB
f∨ (A, B) = ∨AB
f→ (A, B) =→ AB
f¬ (A) = ¬A

i Prove que o conjunto das proposições em notação prexa é livremente gerado.

K uma função denida da seguinte

ii Seja K( 2π1
maneira:
1
) = −1, 2π ∈ {→, ∨, ∧}; K(¬) = 0
e K(P ) = 1, se P for uma constante ou uma variável proposicional. A função K é
estendida para atuar em cadeias da seguinte forma: para qualquer cadeia w1 . . . wk sobre
um alfabeto, K(w1 . . . wk ) = K(w1 ) + ...K(wk ). Use indução matemática para provar que
para qualquer proposição A, em notação prexa, K(A) = 1.