Logica matematica

Prévia do material em texto

Aluno: 
Polo; jacuizinho
ATIVIDADES – UNIDADE 1
1.	Dada as seguintes proposições: p : está quente
q : está chovendo
Traduzir para a linguagem natural as seguintes proposições:
a)	~p Não esta quente.
b)	p ^ q está quente e esta chovendo.
c)	p v q Está quente ou está chovendo
d)	q <--> p Se está quente então está chovendo
e) P - >~q Está quente, então não está chovendo.
f) p v ~q Está quente ou não está chovendo.
g) ~p ^ ~q Não esta quente e não está chovendo.
h) p <--> ~q Está quente, se somente se estiver chovendo.
i) p ^ ~q - > p Está quente e não está chovendo, então esta quente.
2.	Dada as s//eguintes proposições: p : Maria é bonita
q : Carlos é feliz
Traduzir para a linguagem natural as seguintes proposições:
a)	Q -- > p Se Carlos é feliz, então Maria é bonita.
b)	~~p Não é verdade que Maria é bonita.
c) ~(~p ^ ~q) Não é verdade que, que não esta quente e não esta chovendo.