lógica para computação

1.

Escreva as sentenças a seguir utilizando a linguagem da Lógica Proposicional. Utilize símbolos proposicionais para representar sentenças atômicas.
a) Se Alírio toma vinho e o vinho está ruim, ele fica com ressaca.
P: Alírio toma vinho, Q: o vinho está ruim, R: Alírio fica com ressaca.
(P  Q)  R
b) Alírio vai ao seu encontro romântico com Virgínia ou ele fica triste e vai para casa.
P: Alírio vai ao seu encontro romântico com Virgínia, Q: Alírio fica triste, R: Alírio vai para casa.
PQR
c) José não vai passar em lógica a menos que estude.
P: José não vai passar em lógica, Q: José estuda
QP
d) Um polígono é um triângulo, se e somente se, ele possui três lados.
P: Um polígono é um triângulo, Q: O polígono possui três lados
PQ
e) Maria vai emagrecer somente se fizer regime e praticar esporte.
Reescrita: Se Maria fizer regime e praticar esporte então ela vai emagrecer.
P: Maria faz regime, Q: Maria pratica esporte, R: Maria emagrece.
(P  Q)  R

2. A negação da frase “Carlos é Rico e João não é trabalhador” é:
a) ( ) Carlos não é rico ou João não é trabalhador
b) (X) Carlos não é rico ou João é trabalhador
c) ( ) Se Carlos não é rico, então João não é trabalhador
d) ( ) Carlos não é rico e João é trabalhador
e) ( ) Carlos não é rico e João é trabalhador
3.

Seja I uma interpretação sobre os números naturais N, tal que I[a] = 1, I[x] = 1, I[p] =