Ficha1 de Logica Matematica

Fazer download em pdf ou txt
Fazer download em pdf ou txt
Você está na página 1de 5

ESCOLA SECUNDÁRIA DA UNITIVA

DISCIPLINA: MATEMÁTICA 11ªCLASSE-CIÊNCIAS FICHA: ÚNICA

UNIDADE TEMÁTICA: Introdução à Logica Matemática ANO LECTIVO:


2024

EXERCÍCIOS SOBRE LÓGICA BIVALENTE, EXPRESSÕES PROPOSICIONAIS E


QUANTIFICADORES

1. Porque a lógica matemática é chamada lógica bivalente?


2. Das expressões seguintes, destinga designações das proposições:

a) √4 + √16 e) 𝜋 é um número irracional i) √7 ≥ 7


b) √4 + √16 = 6 f) a bicicleta tem duas rodas j) {−3; 3} ∈ Ζ
c) Matemática g) m.d.c (8,16) k) 4 + 𝑒
d) O sol é uma estrela h) 15 ÷ 3 × 5 m) |32 − 43| =
55 3. Dadas as proposições: p: "vou ao campo" e q: "Dou um passeio de automóvel"
Traduza em linguagem corrente:
a) 𝑝 ∧∼ 𝑞 c) 𝑝 ⟹ 𝑞 e) 𝑝 ⟺ 𝑞 g) (𝑝 ∨∼ 𝑝) ⟹ 𝑞
b) ∼ 𝑞 ∨ 𝑝 d) ∼ 𝑝 ⟹ 𝑞 f) (𝑝 ∨ 𝑞) ⟹∼ 𝑝
4. Considere as proposições:

p: António escuta música q: Maria estuda Matemática r: João pratica natação

Traduza para linguagem simbólica cada uma das seguintes proposições:

a) António escuta música e João pratica a natação


b) Maria não estuda Matemática ou António não escuta música
c) Se João pratica natação, então António escuta música
d) Maria estuda Matemática se somente se João pratica natação
e) Nem Maria estuda Matemática nem António escuta música
f) Se António escuta música, então Maria não estuda Matemática e João pratica
natação

1
g) Se João nãro pratica natação e António não escuta música, então Maria estuda
Matemática.
5. Escreva a negação de cada uma das proposições:
a) O livro escolar é um instrumento de trabalho
b) O automóvel é um meio de transporte
c) Oração derruba o inimigo
d) 5 é um número ímpar e divisor de 10
e) 12 é um número par ou um múltiplo de 5
6. Sendo p proposição de valor lógico F, determine o valor lógico da proposição r nas
seguintes proposições:
a) ∼ 𝑟 ∧∼ 𝑝 = 𝟏 c) [(𝑝 ∨ 𝑟) ⟹ 𝑝] = 𝟏 e) ∼ 𝑝 ⟺ 𝑟 = 𝟎
b) 𝑟 ∧∼ 𝑝 = 𝟎 d) [(∼ 𝑝 ∨ 𝑟) ⟺∼ 𝑟] = 𝟏 f) ∼ (∼ 𝑝 ∧ 𝑟) = 𝟎
7. Sabendo que 𝑝 ⟹ 𝑞 é uma proposição falsa, diga qual é o valor lógico de cada uma
das seguintes proposições:
a) ∼ 𝑝 ∧ 𝑞 b) ∼ (𝑝 ∨ 𝑞) c) 𝑝 ⟹ (∼ 𝑞 ∨ 𝑝) d) ∼ (𝑝 ∧ 𝑞) ⟺ 𝑞
8. Sabendo que o valor lógico das proposições p,q,r e s são respectivamente V, V, F e F,
determine o valor lógico (V ou F) das seguintes proposições:
a) 𝑝 ⇒ 𝑞 ⇔ 𝑞 ⇒ 𝑝 b) (𝑝 ⇒ 𝑟) ⇒ (∼ 𝑝 ⇒∼ 𝑟) c) ∼ [(𝑝 ∨ 𝑠) ∧ (𝑠 ∨ 𝑟)]
9. Mostre ou simplifique:
a) ∼ (𝑝 ∧ 𝑞) ∧ 𝑝 =∼ 𝑞 ∧ 𝑝 d) ∼ [(∼ 𝑝 ∧∼ 𝑞) ∧ 𝑝]
b) ∼ 𝑎 ∧ (𝑎 ∨∼ 𝑏) =∼ 𝑎 ∧∼ 𝑏 e) 𝑝 ⟹ (𝑝 ∨ 𝑞)
c) 𝑝 ∧ (∼ 𝑞 ∨ 𝑝) f) ∼ 𝑝 ∧ [(𝑝 ∧ 𝑞) ∨∼ 𝑞]
10. Construa tabelas verdade para:
a) ∼ 𝑝 ∧ 𝑞 c) ∼ 𝑝 ⟹ (𝑞 ⟹∼ 𝑝) e) ∼ 𝑎 ∧ (𝑎 ∨∼ 𝑏) =∼ (𝑎 ∨
𝑏)
b) (𝑝 ∧ 𝑞) ⟹ (𝑝 ∨ 𝑞) d) 𝑝 ∨∼ 𝑟 ⟺ 𝑞 ∧∼ 𝑟 f) 𝑎 ∧ (𝑎 ∨ 𝑏) ∧∼ 𝑎 = 𝐅
11. Dadas as expressões:
a) 2𝑥 + 3 d) 𝑥 + 𝑦 = 1 g) (𝑥 − 3)(𝑥 + 3)

b) 𝑥 + 1 > 0 e) h) 𝑥 + 𝑦 ≠ 1
c) 𝑥2 − 𝑦2 = 0 f) 𝑥2 + 8𝑥 = 0 i) 5(𝑥 + 3)

2
11.1.Indique expressões designatórias
11.2.Indique expressões proposicionais
12. Traduza em linguagem quantificada:
a) Todos os números naturais são positivos
b) Algum número real y é negativo
c) Existe um número natural superior a 5 e inferior a 7
d) Existe um número real x tal que 𝑥 + 3 = −1
e) Entre −5 e 5 há alguns números inteiros
f) Ha pelo menos um número inteiro que é menor que todos outros
g) Existem números primos ímpares
13. Traduza em linguagem corrente as seguintes expressões e indique o seu valor lógico:
a) ∀𝑥, 𝑦 ∈ 𝐼𝑅: 𝑥 + 𝑦 > 0 c) ∃𝑥 ∈ 𝐼𝑅: 𝑥 = −𝑥
b) ∃𝑥 ∈ 𝑁, ∀𝑦 ∈ 𝑅: 𝑥 > 𝑦 d) ∀𝑥 ∈ 𝐼𝑅: 𝑥2 ≥ 0
14. Negue as seguintes condições:
a) ∀𝑥: |𝑥| = 𝑥 b) ∃𝑥: 𝑥2 ≥ 𝑥 c) ∃𝑥 ∈ 𝐼𝑅: 𝑥 + 2 ≠ 𝑥 d) ∀𝑥: 𝑥 + 1 <
𝑥

Exercícios Diversos:

15. Considere as seguintes proposições:


p: 15 é um número primo q:
15 é um número ímpar
Qual das seguintes proposições tem valor lógico verdadeiro?
a) ~𝑞 b) 𝑝 ∧ 𝑞 c) 𝑝 ∨ 𝑞 d) 𝑝 ⟺ 𝑞
16. Sejam p e q duas proposições quaisquer. Qual é a expressão equivalente
∼ (∼ 𝒑 ∧ 𝒒)?
17. Expressão 𝑝 ∧ (𝑞 ∨∼ 𝑝). Tendo p falso, é indentica a?
18. Sejam t e s duas proposições quaisquer. Qual é a expressão equivalente ∼ (𝒕 ⟹ 𝒔)
19. Qual é a negação da expressão ∀𝒙 ∈ 𝑰𝑹: 𝒙𝟐 + 𝟏 ≥ 𝟎?
20. Considere as proposições: p: Samora Machel foi 1º presidente de Moçambique independente.
q: Moçambique é um país africano.

3
Qual é a escrita simbólica de: Samora Machel foi o 1º presidente de Moçambique
independente e Moçambique não é um país africano?

21. Qual é a proposição é equivalente a 𝑝 ∧ (𝑝 ∧∼ 𝑞)?


22. A soma de quaisquer dois números naturais é sempre maior do que zero. Qual é a
quantificação correcta?
23. Considere 𝑝 ⟹ 𝑞 , uma proposição falsa. Qual é o valor lógico das proposições
iniciais?
24. Qual é a proposição equivalente ∼ (𝑎 ∨ 𝑏)?
25. Considere a seguinte tabela:
p q ∼𝒑 ∼𝒒 𝒑 ∧∼ 𝒒 ∼𝒑⟺𝒒
V V F F F t
V F F V x V
F V V F F Z
F F V V F F
Quais são os valores lógicos das letras x, t e z?

26. Qual é a tradução simbólica da proposição ″O dobro de qualquer número inteiro


positivo é diferente de zero″?
27. Sejam p e q duas proposições com os valores lógicos V e F respectivamente. Qual
das proposições tem o valor lógico falso?
28. Quais são as operações lógicas que sempre associam duas proposições com o mesmo
valor lógico numa proposição verdadeira?
29. Qual a negação de 2 + 5 > 7?
30. Considere as proposições p: "25 é número primo" e q: "25 é número ímpar". Escreva
uma proposição falsa simbolicamente.
31. Qual é negação de 𝑥2 ≤ 𝑥?
32. Considere as proposições: p: Maria é estudante e q: Joana é professora. Qual é a
tradução para linguagem simbólica da proposição: "Maria não é estudante e Joana
não é professora"?
33. Qual é a negação de 𝑥 ≥ 2?

4
34. Considere as proposições: p: "Ana é estudante" e q: "Zé é professor". Qual é
tradução para linguagem simbólica da proposição: "Ana não é estudante ou Zé é
professor"?
35. Qual é a negação da proposição ~𝑝 ⟹ 𝑞?
36. Dadas as proposições simples: p: "O sol brilha" e q: "Não chove"Qual é a tradução
simbólica de: "Se o sol brilha, então não chove"?
37. Qual é a negação da expressão 4 + 8 < 13?
38. A tabela refere-se a operações lógicas: Nestas condições, quais são os valores de x e
y?
p q ~𝑞 𝑝 ∨∼ 𝑞 ∼𝑞⟹𝑝
1 1 0 1 1
1 0 1 1 y
0 1 0 x 1
0 0 1 1 0

39. Qual é a negação da proposição ∀𝑥 ∈ 𝐼𝑅: |𝑥| > 1?

FIM

Elaborado por: Abiezer Mate

Você também pode gostar