Departamento de Computao

Universidade Federal de Ouro Preto

Matemtica Discreta I
Prof. Luclia Figueiredo
Lista de Exerccios 01
Ateno: Apenas o exerccio 1 deve ser entregue. Os demais exerccios so recomendados para
estudo. Para entregar o exerccio 1, imprima a primeira pgina desta lista de exerccios e resolva o
exerccio na prpria folha impressa.
1. Knights e Knaves
Em uma ilha, existem dois tipos de habitantes: Knights, que sempre falam a verdade, e Knaves,
que sempre mentem. Voc encontra 2 nativos, A e B, e o nativo A diz: "Se eu e B somos do
mesmo tipo, ento B um Knight". O que se pode concluir sobre os tipos de A e de B?
1
2. Sejam A, B, C, D, E e F as seguintes proposies:
A = Todos os homens so mortais
B = Os polticos so honestos
C = A verdade bela
D = A beleza verdadeira
E = Existem innitos nmeros primos
F = A Terra plana
(a) Se existem innitos nmeros primos, ento a verdade bela.
(b) Se os polticos so honestos ento a Terra plana e no verdade que todos os homens
so mortais.
(c) A verdade no bela somente se os polticos no so honestos
(d) O cavaleiro vencer se, e somente se, a armadura for forte.
(e) Se verdade bela implica que a beleza verdadeira, ento a Terra plana no implica que
todos os homens so mortais..
(f) Se a Terra plana e os polticos so honestos, ento no h innitos nmeros primos.
3. Construa a tabela verdade para cada uma das frmulas a seguir e indique, quando for o caso, se
a frmula uma tautologia ou uma contradio.
(a) (True P) Q
(b) (P Q) (Q P)
(c) ((P Q) (P R)) (P (Q R))
(d) ((P Q) (Q P)) (P Q)
(e) (P Q) (P Q) (Q P)
(f) (P Q) (P Q)
(g) (P Q) (P Q)
(h) (P Q) (Q P)
2
4. O operador lgico ou exclusivo denido pela seguinte tabela-verdade:
P Q P Q
V V F
V F V
F V V
F F F
(a) Prove que P Q logicamente equivalente a (P Q) (P Q).
(b) Prove que P Q logicamente equivalente a (P Q) (P Q).
5. Vimos em aula diversas operaes booleanas binrias: , , , , .
(a) Quantas operaes booleanas binrias diferentes existem? Em outras palavras, de quantas
maneiras diferentes podemos completar a seguinte tabela:
P Q P Q
V V ?
V F ?
F V ?
F F ?
(b) Para cada uma das possveis operaes booleanas binrias P Q, escreva uma expresso
lgica equivalente, utilizando apenas os operadores e .
(c) Para cada uma das possveis operaes booleanas binrias P Q, escreva uma expresso
lgica equivalente, utilizando apenas os operadores e .
3