Departamento de Computao

Universidade Federal de Ouro Preto

Matemtica Discreta I
Prof. Luclia Figueiredo

Lista de Exerccios 01

1 Traduzindo linguagem natural para proposies

1. Considere as seguintes variveis proposicionais e os respectivos significados:
p: Voc tira 10 na ltima prova
q: Voc faz todos os exerccios
r: Voc passa com conceito A
Traduza cada uma das sentenas a seguir como uma frmula da Lgica Proposicional:

(a) Voc passou com A mas no fez todos os exerccios

(b) Para passar com conceito A necessrio que voc tire 10 na ltima prova
(c) Voc tirou 10 na prova, mas no fez todos os exerccios; a pesar disso, voc passou com
conceito A
(d) Tirar 10 na prova e fazer todos os exerccios suficiente para passar com conceito A

2. Traduza cada uma das sentenas a seguir como uma frmula da Lgica Proposicional (escolha
variveis proposicionais para representar as sentenas atmicas, incicadno o significado de cada
varivel) :

(a) O nmero 8 par e uma potncia de 2.

(b) 2 6= 3 e 5 <= 7 2
(c) 2 um elemento de A B, mas no elemento de A B

2 Tabela-verdade
1. Construa a tabela-verdade para cada uma das frmulas a seguir. Indique, para cada uma, se ela
uma tautologia, ou uma contradio, ou uma contingncia.

(a) P (Q R)
(b) (P P ) Q
(c) ((P Q) P ) P

1
2. O operador lgico ou exclusivo definido 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 (P Q)(P Q), construindo a tabela-verdade para esta segunda
frmula e comparando-a com a tabela-verdade da primeira.
(b) Prove tambm que P Q (P Q) (P Q).

3. Vimos em aula diversas operaes booleanas binrias: , , , , .

(a) Quantas operaes booleanas binrias diferentes existem?

(b) Complete a tabela a seguir, onde cada coluna corresponde a uma opertao binria dife-
rente, representada na forma P Q, conforme ilustrado pelos exemplos das duas primeiras
colunas:

P Q P 1 Q P 2 Q
V V T T
V F T T
F V T T
F F T F
(c) Para cada uma das possveis operaes booleanas binrias P Q, escreva uma expresso
lgica equivalente, utilizando apenas os operadores e .