UNIVERSIDADE FEDERAL DO MARANHÃO

Fundação instituída nos termos da LEI nº 5.152 de 21/10/1966 – São Luís/MA

NÚCLEO DE EDUCAÇÃO A DISTÂNCIA

COMPUTAÇÃO- LICENCIATURA

POLO DE SÃO LUÍS -MA

MATEMÁTICA DISCRETA E LÓGICA

TAREFA 9

SÃO LUÍS –MA

2019
LEOANA DAS DORES OLIVEIRA

TAREFA 9

Atividade apresentada como requisito

parcial para obtenção de nota da disciplina
Matemática Discreta e Lógica do Curso de
Computação –Licenciatura UFMA/
NEAD.

Profº Dr.: Luciano Reis Coutinho

SÃO LUÍS –MA

2019
Matemática Discreta e Lógica.

Lista de Exercícios 1: Proposições, conectivos e tabelas-verdade.

1. (0,5 ponto) No contexto da Lógica de Proposições, quais das sentenças abaixo são
proposições? Escreva “sim” caso a sentença seja proposição, “não” caso contrário.
(SIM) Brasília é a capital do Brasil.
(NÃO) Responda a questão.
(NÃO) Que horas são?
(NÃO) x + 1 = y
(SIM) 2+1=4

2. (1,0 ponto) Considere que p e q são as seguintes proposições atômicas:

p = Eu gosto de Matemática;
q = Eu estudo Matemática.
Expresse cada uma das proposições compostas abaixo por meio de uma sentença em
português.
a. p
Eu não gosto de Matemática.

b. p  q
Eu gosto de Matemática ou estudo Matemática.

c. pq
Se eu gosto de Matemática então eu estudo Matemática.

d. p  q
Eu gosto e estudo Matemática.

e. pq
Eu gosto de Matemática se, e se somente se, estudo Matemática.

f. p  q
Eu gosto de Matemática ou estudo Matemática.

g. pq
Ou eu não gosto de Matemática ou estudo Matemática.

h. p  q
Eu não gosto de Matemática, então não estudo Matemática.

i. p q
Eu não gosto de Matemática e não estudo Matemática.
 j. p (pq)
Eu não gosto de Matemática e, gosto de Matemática ou não gosto de estudar
Matemática.

3. (1,0 ponto) Considere que p, q e r são as seguintes proposições atômicas:

p = Você tira 10 na prova final;
q = Você faz todos os exercícios;
r = Você passa em Matemática.

Formalize as proposições abaixo usando p, q e r e os conectivos lógicos:

a. Você tira 10 na prova final, mas não faz todos os exercícios.
p¬q

b. Fazer todos os exercícios é necessário para tirar 10 na prova final.

p→q

c. Tirar 10 na prova final é suficiente para passar em Matemática.

p→r

d. Você passa em Matemática se, somente se, fizer todos os exercícios e tirar 10
na prova final.
r(qp)

e. Ou você faz todos os exercícios, ou não tira 10 na prova final e não passa em
Matemática.
q (¬p¬r)

4. (1,0 ponto) Escreva a conversa, a contrapositiva e a inversa das proposições abaixo:

a. Se nevar hoje, esquiarei amanhã.
Conversa: Esquiarei amanhã, se nevar hoje.
Contrapositiva: Não esquiarei amanhã, se não nevar hoje.
Inversa: Se hoje não nevar, não esquiarei amanhã.

b. Eu venho a aula sempre que há prova.

Conversa: Sempre que há prova, eu venho à aula.
Contrapositiva: Sempre que não há prova, não venho à aula.
Inversa: Eu não venho à aula sempre que não há prova.

c. Um inteiro positivo é primo apenas se não tem divisores além de 1 e dele

mesmo.
Conversa: Se não tem divisores além de 1 e dele mesmo, um inteiro positivo é
primo.
 Contrapositiva: Se tem divisores além de 1 e dele mesmo, um inteiro positivo
não é primo.
Inversa: Um inteiro positivo não é primo apenas se tem divisores além de 1 e
dele mesmo.

5. (1,0 ponto) Construa uma tabela-verdade para as seguintes proposições compostas:

a. pq
p q p pq
V V F V
V F F F
F V V V
F F V V

b. (pq) p
p q p (pq) (pq) p
V V F F V
V F F F V
F V V V F
F F V F V

c. (pq) (qp)
p q p q (pq) (qp) (pq)
(qp)
V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V

d. (p  q)  (p  q)
p q q (p  q) (p  q) (p  q)  (p 
q)
V V F F V V
V F V V F F
F V F V F F
F F V F V V

6. (0,5 ponto) Uma antiga lenda diz que o barbeiro em uma cidade barbeia aquelas
pessoas e apenas aquelas que não se barbeiam sozinhas. De um ponto de vista da
lógica de proposições, é possível ou não haver esse barbeiro? Justifique sua resposta
mostrando que a afirmação da lenda não constitui uma proposição lógica.

Não. Observa-se que a cidade do enunciado possui dois grupos de pessoas: as que se
barbeiam e as que não se barbeiam sozinhas sendo que o tal barbeiro só atende a
clientes pertencentes ao segundo grupo. Desse modo, surge a pergunta: o barbeiro se
barbeia ou não? Assim, se ele faz a própria barba (enquanto cliente) ele deve fazer a
própria barba, porém se ele faz a própria barba então ele (enquanto cliente) pertenceria
ao segundo grupo dos que não fazem a própria barba e por isso vão ao barbeiro. Em
suma, há aqui um paradoxo porque se ele faz a própria barba, ele não faz a própria
barba.