Lista de Exercícios

Fundamentos Matemáticos para Computação

Aulão de Revisão – Parte I
23/11/2020 – 19h
Live de revisão de Lógica

1) Construa a tabela verdade da seguinte fbf

𝑨⋀𝑩 ⇒ 𝑨⋁¬𝑩

2) Escreva a fbf da frase abaixo, e prove que o argumento é válido

Se os pássaros migram para o sul e as folhas mudam de cor, então
estamos no outono. Se o tempo não está frio, não é outono. As
folhas estão mudando de cor, mas o tempo não está frio. Logo os
pássaros não estão migrando para o sul.

3) Escreva a fbf da frase abaixo, e prove que o argumento é válido

Se Fernando não fizer uma festa, então Sidnei ficará triste. Se Sidnei
ficar triste, então Matheus vai sair de casa. Mas, Fabiana irá andar
de bicicleta, se Matheus sair de casa. Portanto, se Fernando não
fazer uma festa, então Fabiana irá andar de bicicleta. "

4) Usando os símbolos predicados indicados e quantificadores

apropriados, escreva cada frase em português como uma fbf
predicada. (O conjunto universo é o mundo inteiro.)
J(x): x é um jogo
F(x): x é um filme
D(x, y): x é mais divertido do que y
a) Qualquer filme é mais divertido do que qualquer jogo.
b) Só jogos são mais divertidos do que filmes.
c) Todos os jogos são mais divertidos do que algum filme.

5) Escreva a fbf da frase abaixo, e prove que o argumento é válido

"Todo crocodilo é maior do que qualquer jacaré. Samuca é um
crocodilo. Mas existe uma serpente, e Samuca não é maior do que
essa serpente. Portanto, alguma coisa não é um jacaré. "
6) Suponha um banco de dados Prolog com os seguintes dados:
come(urso, peixe).
come(peixe, peixinho).
come(peixinho, alga).
come(guaxinim, peixe).
come(leão, guaxinim).
come(urso, raposa).
come(raposa, coelho).
come(coelho, grama).
come(leão, veado).
nacadeiaalimentar(X, Y) :- come(X, Y).
nacadeiaalimentar(X, Y) :- come(X, Z) , nacadeiaalimentar(Z, Y).
Qual é a resposta para a seguinte consulta:
?nacadeiaalimentar(urso, X)

7) Determine o valor lógico de cada uma das fbfs a seguir com a

interpretação de que o conjunto universo é o conjunto dos inteiros
𝐴(𝑥): 𝑥 < 5 e 𝐵(𝑥): 𝑥 < 7.
a) (∃𝑥)𝐴(𝑥)
b) (∃ 𝑥)[𝐴(𝑥)⋀𝐵(𝑥)]
c) (∀𝑥)[𝐴(𝑥) ⇒ 𝐵(𝑥)]
d) (∀𝑥)[𝐵(𝑥) ⇒ 𝐴(𝑥)]

8) De acordo com o axioma de atribuição, qual é a precondição para o

segmento de programa a seguir?
{𝑝𝑟𝑒𝑐𝑜𝑛𝑑𝑖çã𝑜}
𝑥 =3 ∗ 𝑥 −1
{𝑥 = 𝑦 − 4}

9) Considere o trecho de código abaixo:

{x = 2}
Se x > 1 então
y=3+x
Senão
y=4
{y =5}
 Escreva as triplas de Hoare a serem verificadas na correção do
trecho de código.

10) Considere o trecho de código abaixo:

{i=0,n>0,s=0}
Enquanto (i≠n) faça
i=i+1
s=s+i
Qual é a expressão para a invariante de laço para o trecho de
código?

11) Considere o algoritmo abaixo:

T( n inteiro positivo)
Início
Se n=1
retorna 5
Senão
retorna (3*T(n-1) +2)
Fim
a) Escreva a relação de recorrência para esse algoritmo.
b) Qual é o valor retornado por T(3)?

12) Qual é a fórmula fechada da seguinte relação de recorrência

abaixo:
T(n) = 3.T(n-1)+2 para n>1
T(1)=5

13) Considere a prova por indução para a identidade abaixo.

𝑛 +𝑛
1 + 2 + ⋯+ 𝑛 =
2
Qual é a expressão matemática da hipótese de indução.

14) Prove que:

𝑛 +𝑛
1 + 2 + ⋯+ 𝑛 = , 𝑝𝑎𝑟𝑎 𝑛 ≥ 1 ∈ ℕ
2