Questionário sobre Função Proposicional e Quantificadores
1. Traduza para a linguagem simbólica as seguintes funções proposicionais quantificadas, utilizando como predicado a letra maiúscula da palavra que representa o predicado.
a) Todos os cães são mamíferos.
b) Existem cães que são albinos.
c) Nem todos os cães são treinados.
d) Todos os que estudaram foram aprovados.
e) Não existem aves sem penas.
f) Não existem políticos não corruptos.
g) Os jogadores de vôlei são bem treinados.
h) Quando os metais são aquecidos, se dilatam.
i) Todos que são alegres ou tolerantes são felizes se, e somente se,
não forem egoístas.
j) Alguns homens inteligentes são trabalhadores.
k) Todo homem inteligente é trabalhador.
l) Nem tudo que reluz é ouro.
m) Os sócios são industriais ou comerciantes.
n) Alguns engenheiros são incompetentes ou têm má vontade.
o) Todo político é corrupto.
p) Não há sobreviventes do desastre.
q) Há sobreviventes do desastre.
r) Existem jogadores habilidosos.
s) Os médicos se opõem ao tabagismo.
t) Todo número primo é diferente de 1.
u) Está um dia de sol e todos os escoteiros partiram.
v) Os convocados se apresentaram, mas alguns não foram selecionados.
x) Se existem funcionários efi cientes, então a empresa terá lucro.
Fonte: Carlos Alberto Ferreira Bispo; Luiz Batista Castanheira; Oswaldo Melo Souza Filho. Introdução à Lógica Matemática. Cengage Learning, 2011, p. 76.
