Matemática 2022/2023

Observação: esta é uma primeira versão do documento e pode conter gralhas. Agradeço que as gralhas detetadas
sejam comunicadas.

Ficha Lógica 1 - Soluções

Exercício 1:
p: ronaldo é futebolista p: Bill Gates vende licenças de DOS à IBM p: o número é invertível
q: Federev é tenista q: Bill Gates é rico q: o número é diferente de zero
a) p  q c) ~p  ~q e) p  q f) p  q
b) ~p  q d) p  ~q

Exercício 2:
verificar que as tabelas de verdade de p q e de p v q são “iguais”; ou mostrar que (p q) (p v q) é sempre verdadeiro

Exercício 3:
a) falsa b)  (p  q) c)

Exercício 4:
a) existe um nº inteiro positivo n, tal que n+28 ; ou  n  IN, n+28
b) para todo o nº real x, verifica-se x20 ; ou  x  IR, x2  0
c) existe um nº natural x tal que (x<1 e x5) ; ou  x  IN, x <1  x 5

Exercício 5:
a) b) c) d) e)

Exercício 7:
é tautologia

Exercício 8:
Seja G o conjunto de todos os gatos: a) x G, p(x) b) xG, p(x) c)  xG, p(x) d)  xG, p(x)

Exercício 9:
Por exemplo,
a) Todos os números naturais são pares (proposição falsa. Indicar um contra-exemplo)
b) Todos os números naturais são pares ou divisíveis por 3 (proposição falsa. Indicar um contra-exemplo)
c) Existe pelo menos um número natural x que é par e é divisível por 3. (proposição verdadeira. Indicar um exemplo)
d) Todos os números naturais que são pares não são divisíveis por 3. (proposição falsa. Indicar um contra-exemplo)

Exercício 10: 𝑓(𝑎, 𝑏, 𝑐) = 𝑎(𝑏 + 𝑐) a b c b+c a(b+c)

V V V V V
V V F V V
V F F F F
V V F V V
F F F F F
F F V V F
F V V V F
F F V V F

4
Matemática 2022/2023

Exercício 11: Exercício 12: Exercício 13: Exercício 14: Exercício 15: Exercício 16: Exercício 17: Exercício 18:
Opção a) Opção e) Opção d) Opção a) Opção b) Opção a) Opção c) Opção d)

Exercício 19:
a) 𝑎 b) 𝑎𝑏𝑐̅ c) 𝑎. 𝑏 + 𝑎. 𝑏 + 𝑐 d) 𝑎 𝑐 + 𝑏 e)𝑎 + 𝑏

Exercício 20:
a) b) c) d)
𝑥𝑦(𝑧 + 𝑠𝑡); não simplifica; 𝑥̅ + 𝑧̅

Exercício 21:
a) (𝑎 + 𝑏). (𝑐𝑑𝑒 + (𝑓 + 𝑔). ℎ) b) 𝑎𝑏 + 𝑎𝑐 + 𝑎 𝑏 𝑐̅ (𝑏 + 𝑎 + 𝑐̅) c) 𝑢 𝑦(𝑥(𝑧 + 𝑡) + 𝑦) + 𝑤(𝑥 + 𝑦)𝑠

Exercício 22:
a) 𝑥̅ . 𝑦. 𝑧 + 𝑥̅ . 𝑦. 𝑧 + 𝑥̅ . 𝑦. 𝑧̅ + 𝑥𝑦𝑧̅ + 𝑥𝑦𝑧̅ + 𝑥̅ 𝑦𝑧̅ b) 𝑥𝑦𝑧 + 𝑥𝑦 𝑧 + 𝑥̅ 𝑦𝑧 + 𝑥̅ 𝑦𝑧̅

Exercício 23:
a) 𝑐 b) 𝑎