lista Exercicios logica ufmt

Prévia do material em texto

1ª Lista de Exercícios de Lógica 
 
01. Sejam as proposições p: Jorge é rico e q: Carlos é feliz. Traduzir para linguagem corrente as 
seguintes proposições: 
 a) p ν ~q b) ~p → q c) q ↔ ~p; 
 
02. Sejam as proposições p: O livro é interessante e q: O livro é de lógica. Traduzir para linguagem 
corrente as seguintes proposições: 
 a) ~p b) p ν q c) p  ~q d) ~(p ν q) e) q ↔ ~p; 
 
 03. Traduzir para a linguagem simbólica, considerando p = Josefa é rica, q = Josefa é feliz, r = Josefa é 
estudante. 
a) Josefa é rica ou infeliz. 
b) Se Josefa é estudante e rica então é estudante e feliz. 
c) Josefa é pobre, mas feliz. 
d) Josefa é pobre e infeliz. 
e) Josefa é pobre ou rica, mas é infeliz. 
f) Se Josefa é pobre então é feliz. 
g) Josefa é rica se e somente se não for pobre. 
h) Se Josefa é estudante então é rica se e somente se é feliz. 
i) Josefa é pobre, infeliz, estudante ou rica. 
j) Josefa estuda, mas é feliz se e somente não for pobre. 
 
04. Indicar as proposições simples abaixo por letras minúsculas e traduzir as sentenças para notação 
simbólica: 
a) Se Janet vencer ou perder, ela estará cansada; 
 Exemplo: p: Janet vence, q: Janet perde, t: Janet está cansada; 
 Notação simbólica: (p ν q) → t; 
b) Ou vai chover ou vai nevar, mas não ambos; 
c) Se os preços subirem, as construções ficarão mais caras, mas se as construções não forem caras, 
elas serão muitas; 
d) Ou Janet irá vencer ou, se perder, ficará cansada; 
e) Se a quantidade de água é suficiente então o crescimento das plantas é sadio; 
 
05. Escreva fórmulas para as sentenças abaixo utilizando as seguintes proposições: 
 p: Paula vai à festa. q: Quincas vai à festa. 
 r: Ricardo vai à festa. s: Sara vai à festa. 
a) Paula não vai. 
b) Paula vai, mas Quincas não vai. 
c) Se Paula for, então Quincas também irá. 
d) Paula irá, se Quincas for. 
e) Paula irá se e somente se Quincas for. 
f) Nem Paula nem Quincas irão. 
g) Paula e Quincas não irão. 
h) Paula não irá, se Quincas for. 
i) Se Ricardo for, então se Paula não for, Quincas irá. 
j) Se nem Ricardo nem Quincas forem, então Paula irá. 
k) Se Ricardo ou Quincas forem, então Paula irá e Sara não irá. 
l) Se Sara for, então Ricardo ou Paula irão, e se Sara não for, então Paula e Quincas irão. 
 
 
 
 
Sejam as proposições p e q, traduzir para a linguagem corrente as seguintes proposições: 
1. p: Está frio e q: Está Chovendo. 
a) ~p b) p ^ q c) p v q d) q  p e) p  ~q f) p v ~q g) ~p ^ ~q 
h) p  ~q i) p ^ ~q  p 
 
2. p: Jorge é rico e q: Carlos é feliz. 
a) q  p b) p v ~q c) q  ~p d) ~p  q e) ~~p f) ~p ^ q  p 
 
3. p: Claudio fala inglês e q: Claudio fala alemão. 
a) q v p b) p ^ q c) p ^ ~q d) ~p ^ ~q e) ~~p f) ~(~p ^ ~q) 
 
4. p: João é gaúcho e q: Jaime é paulista. 
a) ~(~p ^ ~q) b) ~~p c) ~(~p v ~q) d) p  ~q e) ~p  ~q f) ~(~q  p) 
 
Sejam as proposições p e q, traduzir para a linguagem simbólica as seguintes proposições: 
5. p: Marcos é alto e q: Marcos é elegante. 
a) Marcos é alto e elegante 
c) Não é verdade que Marcos é baixo ou elegante 
d) Marcos não é nem alto e nem elegante 
e) Marcos é alto ou é baixo e elegante 
f) É falso que Marcos é baixo ou que não é elegante 
 
6. p: Suely é rica e q: Suely é feliz. 
a) Suely é pobre, mas feliz 
b) Suely é rica ou infeliz 
c) Suely é pobre e infeliz 
d) Suely é pobre ou rica, mas infeliz 
 
7. p: Carlos fala francês e q: Carlos fala inglês e r: Carlos fala alemão. 
a) Carlos fala francês ou inglês, mas não fala alemão 
b) Carlos fala francês e inglês, ou não fala francês e alemão 
c) É falso que Carlos fala francês mas que não fala alemão 
d) É falso que Carlos fala inglês ou alemão mas que não fala francês 
 
8. a) x = 0 ou x > 0 b) x  0 e y  0 
c) x > 1 ou x + y > 0 d) x2 = x . x ou x0 = 1 
 
9. a) (x + y = 0 e z > 0) ou z = 0 
b) x = 0 e (y + z > x ou z = 0) 
c) x  0 ou (x = 0 e y < 0 e z = 0) 
 
10. a) Se x > 0 então y = 2 
b) Se x + y = 2 então z > 0 
c) x = 1 ou z = 2 então y > 1 
d) Se z > 5 então x  1 e x  2 
e) Se x  y então x + z > 5 e y + z < 5 
f) Se x + y > z e z = 1 então x + y > 1 
g) Se x < 2 então x = 1 ou x = 0 
h) Se y = 4 e se x < y então x < 5 
 
 
 
11. Simbolizar as seguintes proposições matemáticas: 
a) x é maior que 5 e menor que 7 ou x não é igual a 6 
b) Se x é menor que 5 e maior que 3, então x é igual a 4 
c) x é maior que 1 ou x é menor que 1 e maior que 0 
12. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições: 
 a) 3 + 2 = 7 e 5 + 5 = 10 b) 2 + 7 = 9 e 4 + 8 = 12 
c) 𝑠𝑒𝑛𝜋 = 0 𝑒 𝑐𝑜𝑠𝜋 = 0 d) 1 > 0 ⋀ 2 + 2 = 4 
e) 0 > 1 ∧ √3 é irracional f) (√−1)2 = −1 ∧ 𝜋 é racional 
g) √2 < 1 ∧ √5 é racional 
 
13. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições: 
a) Roma é a capital da França ou tg45° =1 
b) FLEMING descobriu a penicilina ou 𝑠𝑒𝑛30° = 1/5 
c) √5 < 0 ou Londres é a capital da Itália 
d) 2 > √5 ou Recife é a capital do Ceará 
e) √3 > 1 ∨ 𝜋 não é um número real 
f) 2 = 2 ∨ 𝑠𝑒𝑛90° ≠ 𝑠𝑒𝑛45° 
g) 52 = 10 ∨ 𝜋 é racional 
h) 3 ≠ 3 ∨ 5 ≠ 5 
i) √−4 = 2√−1 ∨ 13 é um número primo 
j) −5 < −7 ∨ |−2| = −2 
k) |−5| < 0 ∨ 𝑡𝑔
𝜋
4
< 1 
 
14. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições: 
a) Se 3+2=6 então 4 + 4 = 9 
b) Se 0 <1 então √2 é irracional 
c) Se √3 > 1 então -1 < -2 
d) Se |−1| = O então 𝑠𝑒𝑛30° = 1 ⁄ 2 
e) 𝑡𝑔60° = √3 → 2 = 2 
f) √3 > √2 → 20 = 2 
g) √−1 = −1 → √25 = 5 
h) 𝜋 > 4 → 3 > √5 
 
 
15. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições: 
a) 3 + 4 = 7 se e somente se 53 = 125 
b) 02 = 1 se e somente se (1 + 5)° = 3 
c) √2. √8 = 4 se e somente se √2 = 0 
d) 𝑡𝑔𝜋 = 1 se e somente se 𝑠𝑒𝑛𝜋 = 0 
e) −1 > −2 ↔ 𝜋2 < 20 
f) −2 > 0 ↔ 𝜋2 < 0 
g) 32 + 42 = 52 ↔ 𝜋 é racional 
h) 1 > 𝑠𝑒𝑛
𝜋
2
↔ 𝑐𝑜𝑠
𝜋
4
< 1 
i) 𝑠𝑒𝑛20° > 1 ↔ 𝑐𝑜𝑠20° > 2 
j) √−1 = −1 ↔ √−2 = −2 
 
 
 
16. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições: 
a) Não é verdade que 12 é um número ímpar 
b) Não é verdade que Belém é a capital do Pará 
c) É falso que 2 + 3 = 5 e 1 + 1 = 3 
d) É falso que 3 + 3 = 6 ou √−1 = 0 
e) ~(1 + 1 = 2 ↔ 3 + 4 = 5) 
f) ~(1+1=5 ↔ 3+3=1) 
g) 2 + 2 = 4 → (3 + 3 = 7 ↔ 1 + 1 =4) 
h) ~(2 + 2 ≠4 e 3 + 5 = 8) 
 
17. Determinar o valor lógico (V ou F) de cada uma das seguintes proposições.: 
a) ~(sen0° = 0 ou cos0° =1) 
b) ~(23 ≠ 8 ou 42 ≠ 43) 
c) ~(tg45° = 2 se e somente se tg45° = 3) 
d) Brasília é a capital do Brasil, e 2° = 0 ou 3° = 1 
e) ~(32 = 9 → 3 = 5 ∧ 02 = 0) 
f) 34 = 81 → ~(2 + 1 = 3 ∧ 5 * 0 = 0) 
g) 43 ≠ 64 → ~(3 + 3 = 7 ↔ 1 + 1 = 2) 
 
18. Sabendo que os valores lógicos das proposições p e q são respectivamente V e F, determinar o valor 
lógico (V ou F) de cada uma das seguintes proposições: 
 a) 𝑝 ∧ ~𝑞 b) 𝑝 ∨ ~𝑞 c)~𝑝 ∧ 𝑞 
 d) ~𝑝 ∧ ~𝑞 e) ~𝑝 ∨ ~𝑞 f) 𝑝 ∧ (~𝑝 ∨ 𝑞) 
 
19. Determinar V(p) em cada um dos seguintes casos, sabendo: 
 (a) V(q) = F e V(𝑝 ∧ 𝑞) = F (b) V(q) =F e V(𝑝 ∨ 𝑞) = F 
 (c) V(q) = F e V(𝑝 → 𝑞) = F (d) V(q) = F e V(𝑞 → 𝑝)= V 
 (e) V(q) =V e V(𝑝 ↔ 𝑞) = F (f) V(q) = F e V(𝑞 ↔ 𝑝) = V 
 
20. Determinar V(p) e V(q) em cada um dos seguintes casos, sabendo: 
a) V(𝑝 → 𝑞) = V e V(𝑝 ∧ 𝑞) = F 
b) V(𝑝 → 𝑞) = V e V(𝑝 ∨ 𝑞) = F 
c) V(𝑝 ↔ 𝑞) = V e V(𝑝 ∧ 𝑞) = Vd) V(𝑝 ↔ 𝑞) = V e V(𝑝 ∨ 𝑞) = V 
e) V(𝑝 ↔ 𝑞) = F e V(~𝑝 ∨ 𝑞) = V