Matemática Discreta – Lista 01

Aluno:
RGA:

1. Dado os Valores Lógicos: A é verdadeira, B é falsa e C é verdadeira, qual o valor lógico

de cada uma das fórmulas a seguir? Prove.
a) 𝐴 ∧ (𝐵 ∨ 𝐶)
b) (𝐴 ∧ 𝐵) ∨ 𝐶
c) (𝐴 ∧ 𝐵)′ ∨ 𝐶
d) 𝐴′ ∨ (𝐵′ ∧ 𝐶)′
e) 𝐴 ∨ (𝐵′ ∨ 𝐶)′

2. Construa Tabelas-Verdade para as fórmulas bem formuladas a seguir

a) (𝐴 → 𝐵) ↔ 𝐴′ ∨ 𝐵
b) (𝐴 ∧ 𝐵) ∨ 𝐶 → 𝐴 ∧ (𝐵 ∨ 𝐶)
c) (𝐴 → 𝐵) → [(𝐴 ∨ 𝐶) → (𝐵 ∨ 𝐶)]
d) [(𝐴 ∨ 𝐵) ∧ 𝐶 ′ ] → 𝐴′ ∨ 𝐶

3. Reescreva proposição equivalentes às fórmulas a seguir, utilizando apenas os

conectivos de conjunção e de negação (∧ 𝑒 ′). Prove sua equivalência.
a) 𝐴 ∨ 𝐵
b) 𝐴 → 𝐵
c) 𝐴 ↔ 𝐵
d) 𝐴 ⊕ 𝐵

4. Qual é o valor lógico de cada uma das fórmulas bem formuladas a seguir, sabendo que
o conjunto universo é o conjunto dos inteiros?
a) (∀𝑥)(∃𝑦)(𝑥 + 𝑦 = 𝑥)
b) (∃𝑦)(∀𝑥)(𝑦 + 𝑥 = 𝑥)
c) (∀𝑥)(∃𝑦)(𝑥 + 𝑦 = 0)
d) (∃𝑦)(∀𝑥)(𝑥 + 𝑦 = 0)

5. Escreva através de quantificadores e predicados adequados a expressão, “Para todo

número natural, existe um natural maior”, logo em seguida confira e prove seu valor
lógico. (O conjunto universo são todos os números naturais).

6. Escreva através de quantificadores e predicados adequados a expressão, “Existe um

número natural maior que qualquer outro natural que existe”, logo em seguida confira
e prove seu valor lógico. (O conjunto universo são todos os números naturais).
7. Traduza para quantificadores e predicados adequados as seguintes proposições, logo
em seguida escreva-as em sua forma negativa de maneira coesa.
a) Algumas pessoas gostam de matemática discreta
b) Todo mundo gosta de chocolate
c) Todas as pessoas são magras e altas
d) Algumas fotos são velhas ou estão manchadas

8. Use a lógica proposicional para provar os argumentos a seguir.

a) Se Annapurna é a distribuidora, então o jogo é bom. Mas o jogo não é bom.
Portanto Annapurna não é a distribuidora.
b) O peixe apenas nada e come. Portanto, o peixe nada.
c) Se Pedro é bom em matemática, então Pedro é bom em física. Se Pedro é bom em
física, então Pedro é bom em química. Portanto, se Pedro é bom em matemática,
então Pedro é bom em química.
d) Se ficar sem dinheiro, então não poderei ir à festa. Fiquei sem dinheiro. Portanto
não poderei ir à festa.

9. Prove a validade dos argumentos abaixo justificando cada passo tomado.

a) 𝐴 ∧ (𝐵 → 𝐶) → (𝐵 → (𝐴 ∧ 𝐶))
b) [𝐽 → (𝐾 ∨ 𝐿)] ∧ 𝐾 ′ ∧ 𝐿′ → 𝐽′
c) (𝑋 → 𝑌) ∧ [𝑋 → (𝑌 → 𝑍)] → (𝑋 → 𝑍)
d) 𝑀′ ∧ (𝑀 ∨ 𝑁) → 𝑁

10. Se o herdeiro fosse culpado, a tesoura estaria no vestiário. Ou a tesoura não estava no
vestiário ou Jack viu a tesoura. Se a tesoura não estava lá no dia 17 de outubro, segue
que Jack não viu a tesoura. Além disso, se a tesoura estava lá no dia 17 de outubro,
então a tesoura estava no vestiário e a extensão estava na biblioteca. Mas todos nós
sabemos que a extensão não estava na biblioteca. Portanto, senhoras e senhores do
júri, o herdeiro é inocente.
Use lógica proposicional para provar que esse é um argumento válido.

11. Usando lógica proposicional, prove cada um dos argumentos abaixo.

a) Se o código é eficiente, compila rapidamente: ou o código é eficiente ou tem
algum bug. No entanto, o código não compila rapidamente. Logo ele tem um bug.
b) Se Cavalcante levou os quadros, ou a Sra. Florence mentiu, então foi cometido um
crime. O Sr. Florence não estava na ilha. Se um crime foi cometido, então o Sr.
Florence estava na ilha. Portanto Cavalcante não levou um quadro.

12. Prove a validade dos fbfs abaixo justificando cada passo tomado.
a) (∃𝑥)[𝑃(𝑥) → 𝑄(𝑥)] → [(∀𝑥)𝑃(𝑥) → (∃𝑥)𝑄(𝑥)]
b) (∃𝑥)𝑃(𝑥) ∧ (∀𝑥)(𝑃(𝑥) → 𝑄(𝑥)) → (∃𝑥)𝑄(𝑥)
13. Prove que cada uma das fbfs a seguir são argumentos válidos.
a) (∀𝑥)𝑃(𝑥) → (∀𝑥)[𝑃(𝑥) ∨ 𝑄(𝑥)]
b) (∃𝑥)[𝐴(𝑥) ∧ 𝐵(𝑥)] → (∃𝑥)𝐴(𝑥) ∧ (∃𝑥)𝐵(𝑥)
c) (∃𝑥)(∀𝑦)𝑅(𝑥, 𝑦) → (∀𝑦)(∃𝑥)𝑅(𝑥, 𝑦)
d) [𝑃(𝑥) → (∃𝑦)𝑄(𝑥, 𝑦)] → (∃𝑦)[𝑃(𝑥) → 𝑄(𝑥, 𝑦)]

14. Usando lógica de predicados, prove que cada um dos próximos argumentos é valido,
utilize os símbolos predicados fornecidos.
a) Toda capivara é maior do que qualquer hamster. Capi é uma capivara. Mas existe
um elefante e Capi não é maior do que esse elefante. Portanto, alguma coisa não
é um hamster. 𝐶(𝑥), 𝐻(𝑥), 𝑀(𝑥, 𝑦), 𝑎, 𝐸(𝑥).
b) Todos os membros do conselho vêm da indústria ou do governo. Todos que vêm
do governo e são advogados são a favor da moção. Henrique não vem da
indústria, mas é advogado. Portanto, se Henrique é um membro do conselho, ele
é a favor da moção. 𝑀(𝑥), 𝐼(𝑥), 𝐺(𝑥), 𝐴(𝑥), 𝐹(𝑥), ℎ.

15. Através de lógica de predicados prove que: [(∃𝑥)𝐴(𝑥)]′ ↔ (∀𝑥)[𝐴(𝑥)]′