Teste

Faculdade Anhanguera de Valinhos – 2011
Lógica Matemática
Exercício 1
(ESAF AFC-STN/2005) A afirmação “Alda é alta, ou Bino não é baixo, ou
Ciro é calvo” é falsa. Segue-se, pois, que é verdade que:

a) se Bino é baixo, Alda é alta, e se Bino não é baixo, Ciro não é calvo. b) se Alda é alta, Bino é baixo, e se Bino é baixo, Ciro é calvo.

c) se Alda é alta, Bino é baixo, e se Bino não é baixo, Ciro não é calvo. d) se Bino não é baixo, Alda é alta, e se Bino é baixo, Ciro é calvo.

e) se Alda não é alta, Bino não é baixo, e se Ciro é calvo, Bino não é baixo. Resposta: Letra C

Exercício 2

Um rei resolveu dar a um de seus prisioneiros uma chance de liberdade.
Levou-o até uma sala com duas portas, cada uma com um guarda, e disse:
- Uma das duas portas leva à liberdade, enquanto a outra leva à morte.
Além disso, um dos guardas fala sempre a verdade e o outro sempre mente. Você pode fazer apenas uma pergunta a apenas um dos guardas e escolher uma porta pela qual sair.
Que pergunta deve fazer o prisioneiro para que possa sobreviver e ser libertado? Resposta: “Se eu perguntasse ao seu amigo qual porta que leva à liberdade, o que ele diria?”

Exercício 3

Paradoxo do Barbeiro: Em uma determinada cidade havia um barbeiro que barbeava apenas, e tão somente, as pessoas que não se barbeavam.
Verifique então se a seguinte afirmação é verdadeira ou falsa:
O barbeiro se barbeava.

Resposta: A afirmação é falsa pelos seguintes motivos:
- Se ele próprio se barbear pertencerá ao grupo dos que se barbeiam sozinhos. Mas o exercício diz expressamente que ele nunca faz a barba a ninguém pertencente a esse conjunto. Portanto, não poderá barbear a si mesmo.

- Se outra pessoa fazer a barba ao barbeiro então ele é um homem que não se barbeia a si próprio. Mas o exercício diz claramente que ele faz a barba a TODOS os homens incluídos no conjunto dos homens que não se barbeiam a si próprios. Deste modo, mais ninguém poderá fazer a