logica matematica

Trabalho de Lógica Matemática
Curso de ciência da computação
Aluno: Leandro Ferreira Fonsêca
Questão 1:
Pergunta: A afirmação “A menina tem olhos azuis ou o menino é loiro” tem como sentença logicamente equivalente:
a) Se o menino é loiro, então a menina tem olhos azuis.
b) Se a menina tem olhos azuis, então o menino é loiro.
c) Se a menina não tem olhos azuis, então o menino é loiro.
d) Não é verdade que a menina tem olhos azuis, então o menino é loiro.
e) Não é verdade que se o menino é loiro, então a menina tem olhos azuis.

Questão 2:
Pergunta: “Isabel não almoçou e foi ao dentista”. A negação dessa afirmação é:
a) Isabel almoçou e não foi ao dentista.
b) Isabel almoçou ou não foi ao dentista.
c) Isabel não almoçou e não foi ao dentista.
d) Isabel não almoçou e não foi ao dentista.
e) Isabel foi ao dentista e não almoçou.

Questão 3:
Em um dia de trabalho no escritório, em relação aos funcionários Ana, Cláudia, Luís, Paula e João sabe se que:
- Ana chegou antes de Paula e Luís.
- Paula chegou antes de João.
- Cláudia chegou antes de Ana.
- João não foi o último a chegar.
Nesse dia o terceiro a chegar ao escritório para o trabalho foi?
a) Ana
b) Cláudia
c) João d) Luís
e) Paula
Questão 4:
Dizer que não é verdade que Pedro é pobre e Alberto é alto é logicamente equivalente a dizer que é verdade que:
a) Pedro não é pobre ou Alberto não é alto.
b) Pedro não é pobre e Alberto não é alto.
c) Pedro é pobre ou Alberto não é alto.
d) Se Pedro não é pobre, então Alberto é alto.
e) Se Pedro não é pobre, então Alberto não é alto.

Questão 5:
Monte a tabela verdade da proposição ( p ^ ~ q)  ( ~ r  s).

Questão 6:
Verifique se as proposições são equivalentes: p  q e (p  q) ^ (q  q)

Questão 7:
Augustus Morgan foi um grande matemático do século XIX. Um dia, ao ser perguntado sobre a sua idade, respondeu: “Eu