1. Utilizando as proposições simples p e q a seguir, traduzir para a

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