Lista de exercícios: Matemática Discreta

Tópico: Lógica Proposicional

Data: 09/02/2018

1) Converta as seguintes afirmativas em fórmulas da lógica proposicional e monte a

tabela verdade.

a) Hoje é sexta-feira

b) Amanhã não vai chover

c) Está fazendo sol

d) Ele dormiu ou desmaiou

e) Está chovendo ou fazendo sol

f) Está chovendo e fazendo sol ou nevando

g) Não é verdade que chove aqui

h) Está chovendo ou fazendo sol e não está nevando

i) Não é verdade que ele é aluno e trabalhador

j) Ele não é aluno e não é trabalhador

k) Ele é esforçado, não estuda e é trabalhador

l) Ele vai à praia ou ao cinema

m) Ele é trabalhador e rico

n) Ele é pobre e honrado

o) Ela é inteligente, bonita e dedicada

p) Se faz sol então vou à praia

q) Se tenho dinheiro então compro

r) Se ele dormiu então descansou

s) Se está chovendo então não está fazendo sol

t) Faz calor se, e somente se, está fazendo sol

u) Chove aqui se, e somente se, há umidade

v) Se ele é rico então ele tem dinheiro e trabalha

w) Ele é aluno e trabalhador se, e somente se, tem carteira

x) Se ele é trabalhador então ele é rico

y) Ele é rico se, e somente se, é trabalhador

z) Se ela é inteligente e bonita então casará

aa) Tomo sorvete se tenho dinheiro e não estou gripado

bb) Se o dia é frio e o lugar é bom então estudarei

cc) Vou à padaria se, e somente se, faz sol e acordo cedo

dd) Se Lúcia é estudante e rica então é estudante e feliz

ee) Se Lúcia é estudante então é rica se e somente se é feliz

ff) Lúcia estuda, mas é feliz se, e somente se, não for pobre