DISCIPLINA DE MATEMÁTICA

Ficha de Exercícios 01

Docente da disciplina: Ângelo Américo Marcelino

Conteúdos: Introdução à Lógica Matemática 11a Classe/2022

1. Considere as seguintes expressões

I. 5 + 2 × 9 VI. |32 − 42 | = 7
7 1
II. 5 + 2 × 9 = 63 VII. − ÷ (− )
5 5
III. Todos os números primos são ímpares. VIII. |3 − 5| = 5 − 3
IV. Dama Ija é cantora Zambeziana IX. Triângulo isósceles
V. |32 − 42 | X. Alberto Viegas escreveu “Contos macuas”.

a) Indica as que representam designações e as que representam proposições.

b) Indica o valor lógico das que são proposições.
2. Sejam as proposições elementares p e q:
p: fumar é prejudicial a saúde
q: o nosso maior valor é a vida.

2.1 Traduza em linguagem corrente as seguintes proposições compostas:

a) 𝑝 ∧ 𝑞 b) 𝑞 ∨ ~𝑝 c) ~𝑝⋁̇𝑞 d) 𝑝 ⇒ ~𝑞 e) 𝑝 ⇔ 𝑞

2.2 Admitindo que p e q são verdadeiras, diga qual é o valor logico de cada uma das proposições
compostas anteriores.

3. Sendo p, q, r e s as proposições seguintes:

p: neva
q: a estrada está escorregadia
r: o meu carro tem pneus gastos
s: chego a tempo ao trabalho
3.1 Escreva em linguagem corrente:
a) ~𝑞 ∨ 𝑠 b) ~𝑟 ⇒ ~𝑞 c) (𝑟⋀𝑞) ⇒ ~𝑠 d) ~𝑝⋁~𝑠 e) ~(𝑝 ∨ 𝑞) ⇒ 𝑠
3.2 Traduza em linguagem corrente
a) Se neva então não chego a tempo ao trabalho
b) Se neva e/ou a estrada está escorregadia então não chego a tempo ao trabalho
c) Ou o meu carro tem pneus gastos e neva ou a estrada está escorregadia.
d) Não é verdade que, se neva ou a estrada está escorregadia, eu não chego a tempo ao
trabalho.

Página 1 de 3
 e) Se chego a tempo ao trabalho, então nem tenho os pneus gastos nem neva.
4. Sem o uso do símbolo de negação (~) escreva a negação das seguintes proposições
a) p: Oliver Mtukudzi foi um músico zimbabwiano
b) q: Ungulani Ba Ka Khosa escreveu “Ualalapi”
c) r: 7 + 2 = 11
d) s: ∈ {1, 2, 3}
e) 𝑡: 3 + 7 > 9

5. Sendo p, q e r as proposições elementares:

p : 3 é um número par;
q : 1 é um número real;
2
r :  é um número irracional;

Diga qual é o valor lógico das proposições:

a) p  ~ q b) 𝑝 ∨̇ 𝑞 c) ~  p  q   r d)  p ~ q   r

e) ~ p  q ~ r  f) ~  p  q   q  r g) ~ ~  p  q   r  h) ~  p ~ q  r  ~ q

6. Construa as tabelas de verdade das expressões:

a) a  a  ~ b  b) ~ a  b ~ a  b c)  p  p  q   r  q 
d) ~ a  a  b  a  b e) q  ~ p ~ q  f) ~ a  ~ b  c  ~ a  c  ~ b

7. Por meio de tabelas de verdade prove, quaisquer que sejam a, b e c ∈ 𝐿 que:

a) ~~𝑎 = 𝑎 (dupla negação)
b) 𝑎 ∧ 𝑏 = 𝑏 ∧ 𝑎 (Comutatividade da conjunção)
c) 𝑎 ⇒ 𝑏 = ~𝑎 ∨ 𝑏 (Relação da implicação com a conjunção)
d) 𝑎 ⇒ 𝑏 = ~𝑏 ⇒ ~𝑎 (Lei da conversão)

8. Simplifique, utilizando as propriedades das operações lógicas, as expressões:

a) ~(~𝑎 ∧ 𝑏) e) ~ ~ a  b ~ b i) ~ a  a  b  a  b

b) ~ a  a  b f) ~ a  b  a j) ~ a  b ~ a  b

c) ~ a  b ~ b g) a  b  a k) ~  p  q  ~ q ~ p
d) (𝑎 ∧ 𝑏) ∨ (𝑎 ∧ ~𝑏) h) ~ a  b  a
9. Prove, não utilizando tabelas de verdade, que:
a)  p  q   p ~ q  ~ p  q  p  q c)  p  q   ~ p ~ q   p  q

b)  p  q  ~ p  q  ~ p ~ q ~ p  q d)  p ~ q   ~ p  q   p 
q

Página 2 de 3
 10. Sendo p, q e r as proposições elementares:
p : 3 é um número par;
q : 1 é um número real;
2
r :  é um número irracional;

Diga qual é o valor lógico das proposições:

a) p  ~ q b) p  q  r c) ~  p  q   r d)  p ~ q   r

e) ~ p  q ~ r  f) ~  p  q   q  r g) ~ ~  p  q   r  h) ~  p ~ q  r  ~ q

9. Considere as proposições: P : Porto ganha o campeonato

B: Benfica ganha o campeonato

S: Sporting ganha o campeonato Supondo ~ ~ P  (~ B  S 

verdadeira, diga qual das equipas ganha o campeonato.

10 Mostre que ~ p  q    p   p  q  é logicamente equivalente a p  q .

11. Supondo que p e r são proposições falsas e que q e s são proposições verdadeiras, determine
os valores lógicos de: a) (𝑝 ⟹ 𝑞) ⟹ 𝑟 b) (𝑠 ⟹ (𝑝 ∧ ~𝑟)) ∧ ((𝑝 ⟹ (𝑟 ∨ 𝑞)) ∧ 𝑠)

12. Sabendo que os valores lógicos das proposições p e q são respectivamente V e F, determinar o
valor lógico da proposição: [𝑝 ∧ (~𝑝 ⟹ 𝑝)] ∧ ~[(𝑝 ⇔ ~𝑞) ⟹ (~𝑞 ∨ 𝑝)]
13. Considere 𝑝 ⇒ 𝑞 uma proposição falsa. Qual é o valor lógico das proposições iniciais?
14. A tabela refere-se a equivalência material. Nestas condições, quais são os valores de x e y?
𝒑 𝒒 𝒑⇔𝒒
1 1 1
1 0 x
0 1 0
0 0 y

15. Considere a seguinte tabela:

𝒑 𝒒 ∼𝒑 ∼𝒒 𝒑 ∧∼ 𝒒 ∼𝒑⇔𝒒
V V F F F y
V F F V x V
F V V F F z
F F V V F F
Quais são os valores de x, y e z respectivamente?

Bons estudos

Página 3 de 3