UNIVERSIDADE FEDERAL DO PIAUÍ

Prévia do material em texto

UNIVERSIDADE FEDERAL DO PIAUÍ 
CURSO SISTEMAS DE INFORMAÇÃO 
 
 
 
 
ALUNO: Romildo Santos Vieira 
Data: 11/10/2023 
 
 
 
1. Considere as sentenças declarativas afirmativas: p: os preços são altos. q : 
os estoques são grandes. Escreva, na forma simbólica, cada uma das 
sentenças seguintes: a) Se os preços são altos, os estoques são grandes. b) 
Estoques grandes é condição suficiente para preços altos. c) Preços altos é 
condição necessária para estoques grandes. d) Os preços são altos se e 
somente se os estoques são grandes. e) Os preços não são altos, mas os 
estoques são grandes. f) Os preços são altos ou os estoques não são grandes. 
g) Estoques grandes é condição necessária e suficiente para preços altos. h) 
Os estoques são grandes somente se os preços são altos. i) Os preços são 
altos se os estoques são grandes. 
 
a) Se os preços são altos, os estoques são grandes: p → q 
 
b) Estoques grandes é condição suficiente para preços altos: q → p 
 
c) Preços altos é condição necessária para estoques grandes: q → p 
 
d) Os preços são altos se e somente se os estoques são grandes: p ↔ q 
 
e) Os preços não são altos, mas os estoques são grandes: ¬p ∧ q 
 
 f) Os preços são altos ou os estoques não são grandes: p ∨ ¬q 
 
g) Estoques grandes é condição necessária e suficiente para preços altos: q ↔ p 
 
h) Os estoques são grandes somente se os preços são altos: q → p 
 
i) Os preços são altos se os estoques são grandes: p → q 
 
 
2. Escreva na linguagem natural as fórmulas abaixo sendo 
 
 p: Cláudio é terrível. q: Eduardo é estudioso. 
 
a) (𝑝 ∧ 𝑞) → ∼ 𝑝 b) ∼ (𝑝 → 𝑞) c) (𝑝 ∨ 𝑞) ∧∼ 𝑝 d) ∼ (𝑝 ∧ 𝑞) e) ∼ (𝑝 ∨ 𝑞) f) 𝑝 ↔ ∼ � 
 
a) Se “Cláudio é terrível” e “Eduardo é estudioso”, então “Cláudio não é terrível”. 
b) Não é verdade que “se Cláudio é terrível, então Eduardo é estudioso”. 
c) “Cláudio é terrível” ou “Eduardo é estudioso”, e “Cláudio não é terrível”. 
d) Não é verdade que “Cláudio é terrível” e “Eduardo é estudioso”. 
 e) Não é verdade que “Cláudio é terrível” ou “Eduardo é estudioso”. 
 f) “Cláudio é terrível” se e somente se “Cláudio não é terrível”. 
 
3. Sendo p : V , q : F e r : F determine o valor verdade de: 
 
a) ((𝑝 ∨ 𝑞) ∧ (𝑞 ∨ 𝑟)) → 𝑝 ------------- verdadeiro 
 
b) ∼ (∼ (∼ (𝑞 ∧ 𝑟)) → (∼ (∼ 𝑝))) ----------------- verdadeiro 
 
 
3. Elimine os parênteses possíveis : 
a) (( p → ( p))  (( r)  s)) 
b) ( p → ((( q) → r ) → s )) 
c) (( p  q) → (  p  r )) 
d) (( p)  (q  (( r) → r))) 
 
 
a) (p → (~p)) ∨ ((~r) ∧ s) 
b) p → ((~q) → r → s) 
c) (p ∨ q) → (~p ∧ r) 
d) (~p) ↔ (q ∨ ((~r) → r)) 
 
 
 
4. Coloque os parênteses e relacione com a coluna da direita : 
a) p → q   r  s ( ) bicondicional 
b) p  r  s  q  q ( ) implicação 
c) p → q  s  r ( ) conjunção 
d) p → q → r → s ( ) disjunção 
e) ( p → r)  q   r ( ) negação 
 
a) p → q ↔ (~r) ∨ s (bicondicional) b) ~p ∧ r ∧ s ∧ (~q ∨ q) (implicação) c) ~p → (q 
∧ ~s ∧ r) (conjunção) d) p → (q → (r → s)) (disjunção) e) (~p → r) ∨ q ∨ ~r 
(negação) 
 
 
5. Considere as sentenças: 
p: Pedro é filho de Antonio. q: Pedro é neto de José. 
 
Escreva, na forma simbólica, cada uma das sentenças seguintes: 
a) Pedro não é filho de Antonio. 
b) Pedro é filho de Antonio e neto de José. 
c) Pedro é filho de Antonio e não é neto de José. 
 
a) Pedro não é filho de Antonio: ~p 
 
b) Pedro é filho de Antonio e neto de José: p Ù q 
 
c) Pedro é filho de Antonio e não é neto de José: p Ù ~q