CURSO: Licenciatura em Computao

DISCIPLINA: Noes de Lgica

POLO:
PROFESSOR:
ATIVIDADE II

1. Verifique se so equivalentes os pares de expresses:

a. se est quente e mido, ento vai chover
No est quente ou no est mido ou vai chover
R- Denotaremos Q para est quente, U para est mido e C para vai chover.
Assim sendo, faremos a tabela verdade para a primeira expresso:

Q^U

Agora, que j temos a tabela verdade da primeira expresso, iremos construir a tabela verdade da segunda
expresso. Assim sendo, a tabela verdade para a segunda expresso, fica:

Q v U

Portanto, depois de termos obtido as tabelas-verdade para cada expresso e vermos seus resultados,
conclumos que as mesmas so equivalentes, uma vez que o resultado da ltima coluna de cada tabela
idntico, fazendo assim com que as expresses sejam equivalentes.
Assim, as expresses so equivalentes!
b. No verdade que Maria vai praia se e somente se fizer sol.
Ou Maria vai praia, ou faz sol.
R- Denotaremos M para Maria vai praia e S para faz sol.
Assim sendo, faremos a tabela verdade para a primeira expresso:

M S

Agora, que j temos a tabela verdade da primeira expresso, iremos construir a tabela verdade da segunda
expresso. Assim sendo, a tabela verdade para a segunda expresso, fica:

SvM

Portanto, observamos que a ltima coluna das tabelas-verdade so diferentes, ou seja, no so idnticas,
fazendo assim com que as expresses no sejam equivalentes. Assim sendo, as expresses no so
equivalentes!
2. Represente o argumento a seguir na linguagem proposicional. Em seguida, verifique a sua validade (por
tabela verdade ou pelo princpio da demonstrao).
Se Joo fizer a entrega a tempo e a mercadoria for de boa qualidade, ento ele um bom vendedor. Sabese que a mercadoria de boa qualidade. Logo (concluso), se Joo for um bom vendedor, a entrega ser
feita a tempo.
R- Primeiro, elencaremos as sentenas conforme abaixo:
(1) Se Joo fizer a entrega a tempo e a mercadoria for de boa qualidade, ento ele um bom
vendedor
(2) A mercadoria de boa qualidade
(3) Logo, se Joo for um bom vendedor, a entrega ser feita a tempo.
Agora, denotaremos as sentenas conforme abaixo:
p: Entrega ser feita a tempo
q: Mercadoria de boa qualidade
r: Joo um bom vendedor
Assim sendo, agora escrevemos as frmulas correspondentes as sentenas do argumento na mesma
ordem que elas foram elencadas acima.
(1) p ^ q r
(2) q
(3) r p
Depois disto, finalmente podemos representar o argumento como:
{ p ^ q r , q } |= r p
Sendo que a notao |= estabelece que a frmula uma consequncia lgica do conjunto de frmulas
.
Sabendo-se que um argumento da forma {1, 2, 3, ..., n } |= vlido se e somente se a frmula
{1 ^ 2 ^ 3 ^ n } uma tautologia.
Assim sendo, verificaremos a validade do argumento a partir da tabela-verdade. E assim teremos:

p^q

(p ^ q) r

((p ^ q) r) ^ r

rp

(((p ^ q) r) ^ r) (r p)

3. Escreva as seguintes frases em linguagem lgica de predicados:

a) Todo homem que nasce sobre a Terra morre.
b) Existe um planeta do Universo que pode possuir vida aliengena.
c) Quando o tempo no est nublado, a temperatura da gua do mar maior.
d) No existe quem duvide que todo homem que nasce sobre a Terra morra.
e) Existe quem duvide que exista um planeta do Universo que possa possuir vida aliengena.
4. Se no leio, no compreendo. Se jogo, no leio. Se no desisto, compreendo. Se feriado, no desisto.
Logo:
a. Se jogo, no feriado.
b. Se no jogo, feriado.
c. Se feriado, no leio.
d. Se no feriado, leio.
e. Se feriado, jogo.
5. Se um curso fcil, alguns estudantes no curso so felizes. Se um curso tem exame, nenhum estudante
no curso feliz. Use resoluo para mostrar que, se um curso tem exame, o curso no fcil.
6) Considere as seguintes proposies: Todos os ces uivam noite. Pessoas que tm gato no tm ratos.
Pessoas que tm sono leve no tm animais que uivam durante a noite. Joo tem um gato ou um co.
Empregue Resoluo para Lgica de Predicados e responda: Se Joo tem sono leve ento Joo no tem
ratos?
7. Sejam X o conjunto de todas as pessoas; p(x): x criana; q(x): x gosta de chocolate; r(x): x gosta de
sorvete. Represente as sentenas a seguir em lgica de predicados.
a. Toda criana que gosta de chocolate no gosta de sorvete.
b. Existe pelo menos uma criana que no gosta de chocolate, nem de sorvete.
8. Apresente uma negao em portugus e em lgica de predicados para os itens a e b da questo anterior.