Exercícios de Lógica
430 palavras
2 páginas
Respostas do Exercício de Lógica da Lista 11. Sintaxe acontece quando uma disposição de palavras na frase precisa ter relação uma com a outra e a semântica é o significado entre essas relações, logo, atribuir verdadeiro e falso a uma proposição depende de sua semântica.
2.
a. P -> T ^ ¬S
b. S ^ R
c. ¬R -> (P ^ T ^ S)
d. P ^ (S -> T)
e. T ¬(P ^ S)
f. R -> (T v S)
3.
a.
b.
c.
d.
e.
f.
g.
h.
i.
Não está frio.
Está frio e está chovendo.
Está frio ou está chovendo.
Está chovendo, se, e somente, se, estiver chovendo.
Está frio, portanto não está chovendo.
Está frio ou não está chovendo.
Não está frio e não está chovendo.
Está frio, se, e somente se, não estiver fazendo frio.
Está frio e não está chovendo.
4. a.
P
T
T
F
F
Q
T
F
T
F
¬Q
F
T
F
T
P^¬Q
F
T
F
F
.: A Fórmula é Satifatível.
b.
P
T
T
F
F
Q
T
F
T
F
¬P
F
F
T
T
¬(P v Q)
T
F
T
T
.: A Fórmula é uma Tautologia
(P -> Q)
T
F
T
T
¬(P v Q) P ->Q
T
T
T
T
c.
P
T
T
T
T
F
F
F
F
Q
T
T
F
F
T
T
F
F
R
T
F
T
F
T
F
T
F
P ->(Q ->R)
T
F
T
T
T
T
T
T
(Q ^ (R -> Q))
T
F
F
F
T
F
F
F
P ->(Q ->R) (Q ^(R -> Q))
T
T
F
F
T
F
F
F
.: A Fórmula é Satisfatível.
d.
P
T
T
F
F
Q
T
F
T
F
¬Q
F
T
F
T
Q -> R
T
F
T
T
¬Q v R
T
F
T
T
(Q -> R) ( ¬Q v R)
T
T
T
T
.: a Fómula é uma Tautologia.
e.
P
T
T
T
T
F
F
F
F
Q
T
T
F
F
T
T
F
F
R
T
F
T
F
T
F
T
F
¬P
F
F
F
F
T
T
T
T
¬(R ^ Q)
F
T
T
T
F
T
T
T
H
F
T
T
T
T
T
T
T
.: A Fórmula é Satisfatível.
5. Podemos concluir que a interpretação que nas tabelas letra A, B, D e E são verdadeiros e a letra C é falsa.