Disciplina: Lógica Assunto: Introdução à Lógica Data: 23/06/2015 Professor: Bruno Gomes de Araújo. Atividade Avaliativa - 2,0 Pontos 1. Utilizando as proposições simples p e q a seguir, traduzir para a linguagem simbólica as proposições compostas das alternativas. p: Maria é alta q: Joana é bonita a) Maria é alta se e somente se Joana é bonita; b) Maria é alta ou Joana não é bonita; c) Se Maria é baixa, então Joana é bonita; d) Joana é bonita ou Maria é alta; e) Joana é feia ou Maria é alta, mas não ambos; f) Maria é alta ou Joana é bonita, se e somente se Maria é baixa. 2. Sejam as proposições p : João usa óculos e q : Jaime é professor. Traduzir para a linguagem corrente as seguintes proposições. a) ~p d) p → ~q b) p v q e) ~~p c) ~p ^ q f) ~p ↔ ~q 3. Determinar os valores lógicos para as proposições a seguir, sabendo que V(p)=F e V(q)=F. Utilizar a notação lógica para as respostas (deixar na resposta as operações utilizadas para se chegar ao resultado final). a) q v p b) ~~q → p c) p ˄ ~q → ~p d) p ˄ q → p ˅ q e) ~p → (q → p) f) ~p → (q ˄ p) e) ~p ^ (q v p) f) (p → q) -> p ˄ q g) (p ↔ ~q) ˄ q → p Bom trabalho! A melhor maneira de prever o futuro é inventá-lo. - Alan Kay