MAT 01375 Matem

atica Discreta B
Lista de Exerccios 1

2014/2

1. Sejam A e B duas proposicoes. Determine o valor logico da proposicao A sabendo

que:
(a) B e verdadeira e A B e falsa.
(b) A B e verdadeira e A B e falsa.
(c) A B e verdadeira e A B e verdadeira.
2. Construa a tabela verdade das proposicoes abaixo.
(a) (A B)
(b) (A B) A B
(c) (A B C) ( A B C)
(d) A A
3. Mostre, usando tabela verdade, ou por equivalencias, que os conectivos , e
sao equivalentes a combinacoes de e ; ou seja, podemos escrever os conectivos
acima a partir de e .
4. Sejam A, B proposicoes. O operador XOR e um conectivo binario, que denotaremos
por , tal que AB e verdadeiro se, e somente se, exatamente uma das proposicoes A e
B e verdadeira, enquanto que o operador NOR e um conectivo binario, que denotaremos
por , tal que AB e verdadeiro se, e somente se, as proposicoes A e B sao ambas
falsas.
(a) Escreva as tabelas verdade de AB e AB.
(b) Mostre que os conectivos A B, A B, A B e A B sao equivalentes a
proposicoes expressas somente em termos de , e .
(c) Determine se os operadores e sao comutativos e associativos. Tambem determine se vale a distributividade entre e , isto e, se, dadas proposicoes A, B, C,
temos A(BC) (AB)(AC) e se A(BC) (AB)(AC). Justifique.
5. Sejam p, q, r proposicoes. Mostre, atraves de tabelas-verdade, as seguintes equivalencias e implicacoes:
a) p q (p q) (q p)
b) (p q) (q r) = (p r)
c) (p q) (q r) (p q) (q r) (r p)

6. Use a lista de equivalencias vista em aula para mostrar os seguintes fatos:

(a) (A B) A B A B
(b) (A B) ( A B) A
(c) (A B) A = B
(d) (A B) (A C) (B C) = C
7.Verifique se as proposicoes abaixo sao tautologias ou contradicoes:.
a) p (p q)
b) (p q) (p q)
c) ( p q) (p q) p
8.Sejam p e q duas proposicoes.
a) Construa a tabela verdade de (p q).
b) Determine uma proposicao equivalente a` (p q), ou seja, complete
(p q) ...
9. Um argumento pode ser representado em forma simbolica como
P1 P2 Pn Q,
com P1 , P2 , . . . , Pn sao proposicoes dadas, chamadas de hipoteses, e Q e a conclusao (ou
tese) do argumento. Dizemos que um argumento e valido quando for uma tautologia.
Escreva cada um dos argumentos a seguir em forma simbolica, identificando as hipoteses
e a tese, e determine se e valido ou nao.
(a) Se o programa e eficiente, e executado rapidamente. Ou o programa e eficiente ou
tem algum bug (ou exclusivo). No entanto, o programa nao e executado rapidamente.
Logo, o programa tem um bug.
(b) Se Jose levou as joias e a Sra. Mendonca mentiu, entao foi cometido um crime.
A Sra. Mendonca nao estava na cidade. Se um crime foi cometido, entao a Sra.
Mendonca estava na cidade. Portanto, Jose nao levou as joias.
(c) Se o acusado fosse culpado, a faca estaria na gaveta no dia 11 de outubro. Ou a faca
nao estava na gaveta no dia 11 de outubro ou a testemunha viu a faca. Se a faca
nao estava na gaveta no dia 10 de outubro, segue que a testemunha nao viu a faca.
Alem disso, se a faca estivesse na gaveta no dia 10 de outubro, o martelo estaria no
celeiro. Mas o martelo nao estava no celeiro. Entao o acusado e inocente.