UFG - Instituto de Informática Fundamentos de Matemática para Computação CC/ES/SI

Professores: Altino D. Basilio Neto, Elisângela S. Dias, Erika M. M. Coelho e Julliano R. Nascimento1

3ª Lista de Exercı́cios – 2020.1

Lógica Matemática
1. Considere que p e q são proposições: “A eleição está decidida” e “Os votos foram contados”, respectivamente.
Expresse cada uma destas proposições compostas como uma sentença em português.

(a) ¬p ∧ q
(b) ¬q → ¬p
(c) q → p
(d) ¬q ∨ (¬p ∧ q)

2. Considere p, q e r as proposições:
p : Tirar 10 em uma prova.
q : Tirar 10 em todos os trabalhos.
r : Ser aprovado na disciplina.
Escreva as proposições a seguir usando as proposições p, q, r e os conectivos lógicos:
(a) Tirar 10 em uma prova e 10 em todos os trabalhos é suficiente para ser aprovado na disciplina.
(b) Para tirar 10 em uma prova é necessário ter tirado 10 em todos os trabalhos.
3. Determine se cada uma destas proposições é verdadeira ou falsa:

(a) Se 1 + 1 = 2, então 2 + 2 = 5
(b) Se 1 + 1 = 3, então 2 + 2 = 4
(c) Se 1 + 1 = 3, então 2 + 2 = 5
(d) 2 + 2 = 4 se e somente se 1 + 1 = 2
(e) 1 + 1 = 2 se e somente se 2 + 3 = 4

4. Dados os valores numéricos (A e B) e os valores literais (Nome e Profissão), complete o quadro a seguir, preen-
chendo os espaços em branco com os resultados lógicos (V ou F) obtidos como resultados das relações:

Valores Relações
A B Nome Profissão A+1≤B A + B2 < 3 Nome 6= “Ana” Profissão = “Médico”
3 4 “Miriam” “Advogada” V F V F
5 10 “Pedro” “Médico”
2 9 “Ana” “Professora”
1 1 “Maria” “Costureira”
0 5 “Ana” “Cozinheira”
5. Escreva cada uma destas proposições na forma “se p, então q” em português:

(a) É necessário lavar o carro do chefe para ser promovido.

(b) Ventos do sul implicam um degelo primaveril.
(c) Escolha as companhias certas, conhecendo as pessoas certas.
(d) Juca é pego sempre que trapaceia.

6. Considere que p, q e r são proposições:

p: Você obtém um A no exame final.
q: Você faz todos os exercı́cios de FMC.
r: Você obtém um A em FMC.
Escreva estas proposições usando p, q, r e conectivos lógicos.
(a) Você obtém um A em FMC, mas não faz todos os exercı́cios de FMC.
(b) Você obtém um A no exame final, faz todos os exercı́cios de MD e obtém um A em FMC.
(c) Obter um A em FMC é necessário para obter um A no exame final.
1 e-mail: {altino.dantas, elisangelasd, erika coelho, jullianonascimento}@ufg.br
 (d) Você obtém um A no exame final, mas não faz todos os exercı́cios de FMC; no entanto, tira um A em FMC.
7. Dê a negação de cada proposição abaixo:

(a) Se a comida é boa, então o serviço é excelente.

(b) Ou a comida é boa, ou o serviço é excelente.
(c) Ou a comida é boa e o serviço é excelente, ou então está caro.
(d) Nem a comida é boa, nem o serviço é excelente.

8. Construa uma tabela-verdade para cada uma destas proposições compostas:

(a) (p → q) ∧ (¬p → r)
(b) (p ↔ q) ∨ (¬q → r)
(c) p → (¬q ∨ r)
(d) (¬p ↔ q) ⊕ (q ↔ r)
9. Use a tabela-verdade para verificar estas equivalências:

(a) p ∨ V ≡ V
(b) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
(c) ¬(p ∨ q) ≡ ¬p ∧ ¬q
(d) ¬(p ∨ (¬p ∧ q)) e ¬p ∧ ¬q
10. Escreva se cada uma das proposições condicionais abaixo é uma tautologia, contradição ou contigência. Justifique.

(a) (p ∧ q) → p
(b) (¬p ∧ (p ∨ q)) → p
(c) (p ∧ q) ↔ (p → q)
(d) ((p ∨ q) ∧ (p → r) ∧ (q → r)) → r
11. Sejam N , P e Q sentenças.

(a) Construa a tabela-verdade de (P ∨ Q) → (N ∧ ¬Q).

(b) Mostre, usando equivalências lógicas, a seguinte tautologia:

(P ∨ Q) → (N ∧ ¬Q) ≡ (¬P ∨ N ) ∧ ¬Q.

(c) Escreva a negação correspondente da seguinte sentença, colocando o sı́mbolo ¬ o mais à direita possı́vel
(usando equivalências para isso): ∀x ∈ Z, x é ı́mpar ou x não é primo.

12. Expresse cada uma das sentenças abaixo usando a Lógica de Predicados e forneça a conclusão usando as premissas
dadas:

(a) Nenhum atleta é apegado aos livros. Carlos é apegado aos livros.
(b) Ácidos e bases são quı́micos. O vinagre é um ácido.
(c) Todos os cidadãos que não são traidores estão presentes. Todos os oficiais são cidadãos. Alguns oficiais não
estão presentes.
(d) Se alguém cometer um erro e ninguém se acusar, todos serão punidos. Todos cometeram erros.