Lista4 Logica

413 palavras 2 páginas
MINISTÉRIO DA EDUCAÇÃO
UNIVERSIDADE FEDERAL DO PIAUÍ
CAMPUS SENADOR HELVÍDIO NUNES DE BARROS
Curso de Sistemas de Informação

4ª Lista de exercícios de Lógica para Computação
1.

Coloque a fórmula H = ((P→Q)→R)→(R ^ Q) na forma normal disjuntiva e forma normal conjuntiva.

2.

Encontre a fórmula nand equivalente à fórmula H = (P v Q) →(R), sabendo que A nand B = (A  B) e (A) = A nand A.

3.

Verifique a validade da fórmula H a seguir, utilizando o tableux semântico e
Resolução.
H = ((PQ)  (QR)) (R  P)

4.

Faça duas demonstrações. Uma utilizando tableaux semânticos e outra a resolução, e determine se cada conjunto de argumentos é satisfatível.
a) José não foi intimidado ou, se Flávia faltou ao serviço, então um bilhete foi encontrado. Flávia não faltou ao serviço se José foi intimidado. Se um bilhete foi encontrado, então Flávia faltou ao serviço.
b) Um casamento é feliz se, e somente se, os noivos têm objetivos comuns. Os noivos têm objetivos comuns se, e somente se, os noivos cursam disciplinas em áreas comuns. Há divórcio, se, e somente se, o casamento é infeliz. Há divórcio, se, e somente se, os noivos não cursam disciplinas em áreas comuns.
c) Quatro detetives, João Paulo, Tiago, Paloma e Juliana, estão investigando as causas de um assassinato, e cada um deles concluiu uma das afirmações a seguir:
João Paulo: Se há pouco sangue na cena do crime, o matador é um profissional.
Tiago: Houve poucos ruídos no momento do crime ou o matador não é um profissional.
Paloma: A vítima estava toda ensanguentada ou houve muitos ruídos no momento do crime. Juliana: Houve pouco sangue na cena do crime.

5.

Faça duas demonstrações. Uma utilizando tableaux semânticos e outra a resolução.
Determine se os argumentos são válidos.

a) Se a Marcinha emite um olhar 43 para o Tom, ele fica vermelho se, e somente se, o pessoal da sala estiver percebendo as flechas no ar. O pessoal da percebe flechas no ar e Tom está vermelho. Portanto, Marcinha não emitiu um olhar 43 para

Relacionados

  • Estudante de s.i.
    11057 palavras | 45 páginas
  • Linguagem logo
    20013 palavras | 81 páginas