LOGICA LISTA 1

Universidade Católica de Pernambuco
Centro de Ciências e Tecnologia
Curso de Ciência da Computação
INF1200 – Lógica Matemática
Prof. Almir Pires
Lista de Exercícios sobre Proposições Simples e Compostas
1. Traduza para a linguagem simbólica as seguintes proposições, use letras minúsculas para representar as proposições simples.
a. Se Alfredo escrever para Maria, ela não irá para outra cidade.
b. Ou Alfredo escreve para Maria, ou ela irá para outra cidade.
c. Alfredo não escreveu para Maria e ela irá para outra cidade.
d. Alfredo escreverá para Maria se, e somente se, ela for para outra cidade.
e. Se, Alfredo escrever para Maria e João for ao encontro dela, então Maria não irá para outra cidade.
f.

Se Alfredo for ao encontro de Maria ou João for ao encontro de Maria, ela não ficará mais na cidade.

g. João só irá ao encontro de Maria se Alfredo não estiver na cidade.
h. Se Maria se encontrar com João, ou se não for ao encontro com Alfredo, Maria irá para outra cidade.
i.

O gerente despedirá Maria ou despedirá João.

j.

Se João é vizinho de Maria, então João conhece conhece Maria.

k. Se João ama Maria e Maria ama Paulo, então João não terá chance com Maria.
l.

Se João for despedido e procurar um emprego, com certeza ganhará um emprego melhor. m. O número de acidentes diminuirá nas estradas se, e somente se, houver mais policiamento e os motoristas forem mais conscientes.
n. Todos acertaram todas as questões, mas isso não significa que não devem estudar mais. o. Se Eduardo não apresentar uma queixa, então, nem Fernando investigará, nem
Geraldo será classificado.
p. Ou Eduardo apresentará uma queixa, ou, se Fernando investigar, então Geraldo será desclassificado.
2. Sejam as proposições: p: Carlos é argentino e q: João é brasileiro. Traduza par a linguagem natural as seguintes proposições simbólicas:
a. p v q
b. ~p ^ q
c. p ! q
d. p ! ~q
e. ~p "! q

f.

~p ^ ~q

3. Coloque em linguagem simbólica as