Baixe o app para aproveitar ainda mais
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.
Compartilhar