1º período - Lógica - Lista 5 - Quantificadores

Prévia do material em texto

Lógica – Lista de Exercícios
Quantificadores
Traduza as sentenças abaixo para linguagem simbólica utilizando os quantificadores 
apropriados:
a) Todas as rãs são verdes
b) Nenhuma rã é verde
c) Algumas rãs são verdes
d) Algumas rãs não são verdes
e) Toda coisa é uma rã
f) Nada é uma rã
g) Existem rãs verdes
h) Qualquer coisa ou é rã ou é iridescente
i) Está chovendo e algumas rãs estão saltitantes
j) Se está chovendo, então todas as rãs estão saltitantes
k) Ou qualquer coisa é uma rã ou nada é uma rã
l) Qualquer coisa ou é uma rã ou não é nada
m) Algumas rãs verdes não estão saltitantes
n) Não é verdade que algumas rãs verdes estão saltitantes
o) Se nada é verde, então não existem rãs verdes
p) Rãs verdes saltam se e somente se não está chovendo
q) Está chovendo e algumas rãs estão saltitantes