Buscar

ListaExerciciosLC_03

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Prévia do material em texto

Lógica para Computação – 2013/01
José Gustavo de Souza Paiva
Terceira Lista de Exercícios
1) Verifique, utilizando todos os métodos de validação de fórmulas vistos em sala, se
as afirmações abaixo são tautologias, contingências ou contradições:
2) Considere G uma das fórmulas indicadas a seguir:
a) ¬P ˅ Q
b) ¬Q � P
c) P ↔ Q
d) P� Q
e) ¬P� ¬Q
f) P ˄ ¬Q
Determine, utilizando o método da negação, os casos em que:
P ˄ Q � G
P� Q � G
P ˅ Q � G
P ↔ Q � G
3) Considere a fórmula H = ¬((P ˄ Q) ˅ R ˅ S) ˄ (P1 ˄ Q1). Construa uma árvore
semântica associada a H e identifique se H é uma tautologia, satisfatível,
contingente ou contraditória.
4) Considere a fórmula H = (P ˄ Q) � (R ˄ S) e a fórmula G = ¬((P ˄ Q ˅ R ˅ S ˄ P1
˄ Q1)
a) Construa a árvore semântica associada a cada fórmula H.
b) Identifique, a partir das árvores semânticas determinadas, uma interpretação I
tal que I[H] = F e I[G] = F, e uma interpretação J tal que J[H] = T e J[G] = T.
OBS.: O aluno deverá complementar os exercícios desta lista com
outros encontrados no material da bibliografia, e/ou materiais
encontrados na Internet.

Outros materiais