Aluno

Disponível somente no TrabalhosFeitos
  • Páginas : 5 (1023 palavras )
  • Download(s) : 0
  • Publicado : 7 de março de 2013
Ler documento completo
Amostra do texto
AULA 1 - RESPOSTAS 1) Quais das sentenças abaixo são proposições? a) A lua e feita de Queijo verde (É uma proposição) b) Ele e certamente um homem alto (Não é uma proposição) c) Dois e um numero primo (É uma proposição) d) O jogo vai acabar logo? (Não é uma proposição) e) x 2 − 4 = 0 (Não uma proposição) f) 3 e raiz de x 2 − 4 x + 3 = 0 (É uma proposição) 2) Sejam as proposições p: está frio e q:está chovendo. Traduzir para a linguagem corrente as seguintes proposições: a) ~ p (não esta frio) b) p ∧ q (está frio e esta chovendo) c) p v q (está frio ou esta chovendo) d) q ↔ p (esta chovendo se e somente se está frio) e) ~ p ∧ ~ q (não esta frio e não está chovendo) f) p → ~ q (se está frio então não esta chovendo) g) p ↔ ~q (está frio se e somente se não esta chovendo) h) p v ~ q (estáfrio ou não esta chovendo) i) p ∧ ~ q → p (se esta frio e não está chovendo, então está frio) 3) Sejam as proposições p:Jorge é rico e q: Carlos é feliz. Traduzir para linguagem corrente as seguintes proposições: a) p v q (Jorge é rico ou Carlos é feliz) b) p ∧ q (Jorge é rico e Carlos é feliz) c) p ∧ ~ q (Jorge é rico e Carlos não é feliz) d) ~ p ∧ ~q (Jorge não é rico e Carlos não é feliz) e) ~ ~p (Não é verdade que Jorge não é rico) f) ~( ~p ∧ ~q) (Não é verdade que, Jorge não é rico e Carlos não é feliz) 4) Simbolizar, utilizando a lógica, as seguintes frases: a) X é maior que 5 e menor que 7 ou X não é igual a 6. ((x>5 ∧ x< 7) v x ≠ 6) b) Se X é menor que 5 e maior que 3, então X é igual a 4. ((x < 5 ∧ x > 3) → x = 4) c) X é maior que 1 ou X é menor que 1 e maior que 0. ((x > 1 v x <1) ∧ x > 0) 5) Sejam as proposições p: Marcos é alto e q: Marcos é elegante. Traduzir para a linguagem simbólica as seguintes proposições: a) Marcos é alto e elegante. p ∧ q b) Marcos é alto, mas não é elegante. p ∧ ~q c) Não é verdade que Marcos é baixo e elegante. ~(~p ∧ q) d) Marcos é alto ou é baixo e elegante. p v (~p ∧ q) e) Marcos não é nem alto e nem elegante. ~(~p ∧ ~q) f) É falso queMarcos é baixo ou que não é elegante. ~(~p v ~q)

6) Sejam as proposições: p : Sueli é rica q : Sueli é feliz Traduzir para linguagem simbólica (lógica) as seguintes frases: a) b) c) d) Sueli é pobre, mas é feliz. p ∧ q Sueli é rica o infeliz. p ∧ ~ q Sueli é pobre e infeliz. ~ p ∧ ~ q Sueli é pobre ou rica, mas é feliz. (~ p v q) ∧ q

7) Dadas as seguintes proposições: p : o número 596 édivisível por 2. q : o número 596 é divisível por 4. r : o número 596 é divisível por 3. Traduzir para a linguagem simbólica: a) É falso que número 596 é divisível por 2 e por 3, ou o número 596 não é divisível por 4. ~ ( p ∧ r) v ~ q b) O número 596 não é divisível por 2 ou por 4, mas é divisível por 3. ~ (p v q) ∧ r c) Se não é verdade que o número 596 é divisível por 3, então ele é divisível por 2 enão por 4. ~r→p∧~q d) É falso que o número 596 não é divisível por 2 e por 4, mas é divisível por 3 e por 2. ~(~ p ∧ ~ q) ∧ (r ∧ p) 8) Sejam as proposições p: Carlos fala francês, q: Carlos fala inglês e r: Carlos fala alemão. Traduzir para a linguagem simbólica as seguintes proposições: a) Carlos fala francês ou inglês, mas não fala alemão. (p v q) ∧ ~ r b) Carlos fala francês e inglês, ou não falafrancês e alemão. (p ∧ q) v ~(p ∧ r) c) É falso que Carlos fala francês mas que não fala alemão. ~(p ∧ ~r) d) É falso que Carlos fala inglês ou alemão mas que não fala francês. ~(qvr ∧ ~p) 9) Determine o valor logico (V ou F) de cada uma das seguintes proposições: a) O numero 11 e um número primo. V(a) = V b) Todo numero divisível por 5 termina em 0. V(b) = F c) -2 < 0. V(c) = V

10)Sabendo-se que V(p) = V(q) = T (true) e V(r) = V(s) = F (false), determine os valores lógicos das seguintes proposições: a) (p ∧ (q ∨ r)) → (p → (r ∨ q)) (T ∧ (T ∨ F)) → (T → (F ∨ T)) (T ∧ (T )) → (T → (T)) (T ) → (T) T b) (q → r) ↔ (~q ∨ r) (T → F) ↔ (~T ∨ F) (F) ↔ (F ∨ F) (F) ↔ (F) T

c) (~p ∨ ~(r ∧ s)) (~T ∨ ~(F ∧ F)) (~T ∨ ~(F)) (F∨ T) T d) ~(q ↔ ( ~p ∧ s)) ~(T ↔ ( ~T ∧ F)) ~(T ↔ (F∧ F)) ~(T ↔...
tracking img