REFAZENDO EXERCÍCIOS DE LÓGICA

Aula 2
1) Construa as tabelas-verdade para as wffs:
a) A + B’ ←→ B+A → A’
b) A.B + C’ → B’

Aula 3
1) Construa as tabelas-verdade para as wffs:
a) A → B ←→ B → A
b) A + A’ → B . B’
c) (A . B’ → C’)’
d) A → B ←→ B’ → A’

2) Sabendo que V(p)=1 e V(q)=0, calcule:

a) p.q’ f) (p+q)’
b) p+q’ g) p.(p’+q)
c) p’.q h) p+(p’.q)
d) p’→ q i) p’ → (q+p)’
e) q → p’

3) Determinar V(p) sabendo que:

a) V(q) = 1 e V(p.q) = 0
b) V(q) = 0 e V(p+q) = 0
c) V(q) = 0 e V(p’+q) = 0
d) V(q) = 1 e V(p ←→ q) = 0
e) V(q) = 0 e V(p.q) = 0

4) Se V(p)=V(q)=1 e V(r)=V(s)=0, calcule:

a) p’+r
b) r + (p → s)
c) p’ + (r . s)’
d) (q ←→ p’ .s)’
e) (p ←→ q) + (q → p’)
f) p ←→ q + p → p’

5) Determinar os valores lógicos das proposições abaixo, justificando o casos em que os dados
são insuficientes:
a) p’ → q + r’ com V(r)=0
b) (p ←→ q) + (q → p’) com V(q)=0
c) p . (q’ → r . s) com V(p)=0
d) p → q . s com V(p)=1
e) p’ + r → (q → s) com V(q)=0
f) (p → r) . s com V(r)=1
g) p → r + s com V(r)=1
Aula 4
1) Verificar usando tabelas-verdade se ocorrem as seguintes equivalências abaixo.

a) (p’ + q)’ (q + p’)’

b) p . (q + p) p
c) p ←→ q.p p→q
d) p → q → r p.r’ → q’
e) (p → q) → q (q’ → p’) → q

2) Usando equivalências notáveis, prove:

a) p . (q + p) p
b) (p → q) → q (q’ → p’) → q
(cite as equivalências notáveis usadas em cada passo)

3) Para transformar uma expressão na outra, no exercício 1(a), quais as equivalências notáveis
são usadas?

Aula 4a
1) Qual as proposições para os gráficos abaixo?

2) Usando diagramas de Venn, verifique se:

a) (A+B)’ A’.B’

b) A.(B+C) (A.B) + (A.C)

c) p + (p’.q) p+q

3) Qual as proposições para os gráficos abaixo?

Aula 4b
Aula 5

2) Usando o algoritmo testa_tautologia, verifique se as expressões são tautologias:

a) [B’.(A → B)] → A’

b) [(A → B).A] → B

c) [(A+B).A’ → B

d) (A.B).B’ → A

3) Supondo que fluxoext = 100; fluxoInt = 90 e Pressao = 1000, qual o valor de z após a execução
do código abaixo?

If (fluxoExt > fluxoInt)

AND NOT ((fluxoExt > fluxoInt) AND
(pressao<1000))
Then z:=0;
Else z:=1;

Aula 6 / 7 !!!
1) Usando os predicados
E(x) : x é estudante
I(x) : x é inteligente
M(x) : x gosta de música

Obtenha as wffs abaixo, supondo que o domínio é formado por todas as pessoas.

a) Todos os estudantes são inteligentes

b) Alguns estudantes inteligentes gostam de música
c) Todos que gostam de música são estudantes não
inteligentes

Aula 7a !!!
1) Verifique se a wff é valida
( x) [P(x) + Q(x)] (x)P(x) + (x)Q(x)
Aula 8 !!!
1) Qual o valor-verdade de cada uma das wffs na interpretação em que o domínio consiste em
inteiros.

2) Para a wff a seguir:

a) ache uma interpretação na qual seja verdadeira e
outra na qual seja falsa
( x){ [A(x)+B(x)].[A(x).B(x)]’ }
b) Esta wff é válida?

3) Com o uso de símbolos e predicados e os quantificadores apropriados, escreva cada sentença

na língua portuguesa como uma wff predicativa, considerando que o domínio é todo mundo.
D(x) : x é dia
S(x) : x é ensolarado
R(x) : x é chuvoso
a)Todos os dias são ensolarados.
b)Alguns dias não são chuvosos.
c)Todo dia que é ensolarado não é chuvoso.

4) Obtenha a wff para a sentença “Alguns advogados só admiram juízes” supondo que:
J(x) : x é juiz
L(x) : x é advogado
A(x,y) : x admira y

5) Obtenha a wff para as sentenças supondo que:

C(x) : x é um corvete F(x) : x é uma ferrari
P(x) : x é um porshe L(x,y) : x é mais lento que y
a)Nada é, ao mesmo tempo, um corvete e uma ferrari.
b)Alguns porshes são apenas mais lentos que as ferraris.

6) Obtenha a sentença em português para as wffs, considerando que:

E(x) : x é elegante j : joão
G(x,y) : x gosta de y k : karla
H(x) : x é homem

a) E(j).G(k,j)
b) ( x)[H(x) → E(x)]

7) Considerando que a proposição “todos os pelicanos comem peixe” seja verdadeira, quais das
proposições abaixo são verdadeiras?
(a) Se uma ave é um pelicano, então ela come peixe.
(b) Se uma ave não é um pelicano, então ela não come peixe.
(c) Se uma ave come peixe, então ela é um pelicano.
(d) Se uma ave não come peixe, então ela não é um pelicano.

8) Apresente uma negação para cada uma das proposições abaixo.

(a) 37 é um número primo.
(b) Bruno irá, mas ele não vai jogar.
(c) Nós venceremos o primeiro jogo ou o segundo.
(d) Se não há sanduíches, vou comer um cachorro-quente.
(e) Matemática é muito legal e computação é fundamental.
(f) Nem todas as pessoas têm acesso ao ensino superior.

10) Simplifique as proposições abaixo, indicando acima de cada símbolo de equivalência as

propriedades lógicas utilizadas:

a) (p+q)’ + (p . q’)
b) (p’+q) . p
c) (p+q) → [ (p.q) + (p.q’) + (p’.q) ]

Aula 9a
1) Provar 'a' (por prova direta) dadas as premissas :
1) a’ → c
2) c → m’
3) m + r
4) r’

Aula 9b
1) Sejam: I : a taxa de importação vai diminuir
M : o mercado interno vai aumentar
F : a taxa federal de desconto vai diminuir
Verifique a validade do argumento (por prova condicional):
[(I→M).(F+M’).I]→F

2) Sejam: C : meu cliente é canhoto

D : o diário desapareceu
Verifique a validade do argumento (por prova condicional):
[ C . (D’ → C’ ) ] → D
3) Provar que p ←→ q dadas as premissas:
1) s + (p’ → q’)
2) r . s’
3) r → (p → q)

Aula 10
1) Demonstre os seguintes teoremas:
a) (p → s).(p.q).(s.r→t’).(q→r) → t’ (Prova direta)
b) (t→r).r’.(t+s) → s (Prova direta)
c) (e→s).(t→’j’).(e.j) → t.s (Prova direta e Absurdo)
d) (a+f→g).(j→g’+h).j → (a→h) (P.C. e P.C.I)
e) (s→r).(s+p).(p→q).(r→t) → (q’→t) (P.C.I)

2) Provar que x = 0, dadas as premissas: (Prova direta)

1. Se x 0, então, x = y
2. Se x = y, então, x = z
3. x z

3) Demonstre que: (Prova direta)

Aula 10a
1) Usando prova direta e por absurdo, provar s
dadas as premissas
1. p → q.r
2. p
3. t → q’
4. t + s

2) Usando prova condicional, provar t+s’ → r dadas

as premissas
1. r’ → q
2. t’
3. s’ → q’

3) Usando prova condicional indireta, provar p → q

dadas as premissas
1. (p → q) + r
2. s + t → r’
3. s + (t . u)

4) Provar s’ dadas as premissas

1. p + q
2. s → p’
3. (q + r)’
Aula 11
1) Qual é a pré-condição para o programa abaixo?

{??}
y := x - 2
z := y2 + 5
{z = 21}

2) Verifique a correção do programa abaixo:

{x=4}
if x < 5 then
y := x – 1
else
y := 7
{y=3}

Aula 12
1) De acordo com o axioma da atribuição, qual é
a pré-condição do seguinte programa?
{ ?? }
x := x + 1
{x = y – 1; z = 4}

2) Verifique a correção do programa:

y := x – 1
y := x . y
{ y = x . (x-1) }

3) Verifique a correção do programa:

{y=0}
if y < 5 then
y := y + 1
else
y := 5
{y=1}

4) Verifique a correção do programa

{ x = -7 }
if x <= 0 then
y := x
else
y := 2 * x
( y = 14 }