Lista 1 Noções de lógica

Prévia do material em texto

01. Classifique as sentenças abaixo em V ou F: 
a) 3 > 1 ∧ 4 > 2 
b) 3 > 1 ∨ 3 = 1 
c) 2|4 ∨ 2|(4 + 1) 
d) 3(5 + 2) = 3 ∙ 5 + 3 ∙ 2 ∧ 3|7 
e) 
1
2
<
3
4
∨ 5|11 
f) (−1)6 = −1 ∧ 25 < (−2)7 
g) √16 = 6 ∨ 𝑚𝑑𝑐(4,7) = 2 
h) 2 − 1 = 1 ⟹ 5 + 7 = 3 ∙ 4 
i) 22 = 4 ⟺ (−2)2 = 4 
j) 5 + 7 ∙ 1 = 10 ⟹ 3 ∙ 3 = 9 
k) 𝑚𝑑𝑐(3,6) = 1 ⟺ 4 é primo 
l) 
3
5
<
2
7
⟹ 3 ∙ 7 = 2 ∙ 5 
m) 6 ≤ 2 ⟺ 6 − 2 > 0 
 
02. Qual a negação das seguintes sentenças? 
a) 3 ∙ 7 = 21 
b) 3 ∙ 2 + 1 > 4 
c) √2 < 1 
d) 3|7 
 
03. Admitindo que p e q são verdadeiras e r é falsa, determine o valor (Vou F) de 
cada proposição abaixo: 
a) 𝑝 ⟹ 𝑟 
b) 𝑝 ⟺ 𝑞 
c) 𝑟 ⟹ 𝑝 
d) (𝑝 ∨ 𝑟) ⟺ 𝑞 
e) 𝑝 ⟹ (𝑞 ⟹ 𝑟) 
f) 𝑝 ⟹ (𝑞 ∨ 𝑟) 
g) ~𝑝 ⟺ ~𝑞 
 
04. Dizer a negação de cada proposição abaixo: 
a) Todo número inteiro primo é par 
b) Todo triângulo isósceles é equilátero 
c) Existe um losango que não é quadrado 
d) Existe um número cuja raiz quadrada é zero 
 
05. Considere as sentenças p: 2 é par; q: 2 é positivo e r: 2 é natural. Escreva 
usando conectivos lógicos as expressões: 
a) 2 não é par 
b) 2 é par e 2 é natural 
c) 2 é positivo ou 2 é natural 
d) Se 2 é par e 2 é positivo, então 2 é natural 
e) 2 é natural se, e somente se, 2 é positivo. 
 
06. Descreva a sentença cuja tabela verdade é dada por 
 
 
 
p q ? 
V V F 
F V F 
V F V 
F F F 
FFMM1 
Professores: Leandro Albino/ Lucas Casanova 
Lista 1- Noções de Logica