Buscar

4.Simbolize as conclusões dos detetives (abaixo) e verifique se o conjunto de fórmulas obtidos é satisfatível. (Adaptação do livro "Lógica para Ciê...

4.Simbolize as conclusões dos detetives (abaixo) e verifique se o conjunto de fórmulas obtidos é satisfatível. (Adaptação do livro "Lógica para Ciência da Computação" de João Nunes de Souza - Ed. Campus -2002) Definição : Um conjunto de fórmulas { H1 , H2 ,H3 ,..........,Hn } é satisfatível se e somente se existe uma interpretação I (uma linha da tabela verdade) tal que I[H1 ]= I[H2 ] = I[H3 ]=..........= I[Hn ]= V a) Quatro detetives, Ana, Teresa, Cintia e Melo estão investigando as causas de um assassinato e cada um deles concluiu o que se segue: ● ANA : Se há pouco sangue na cena do crime, então o matador é um profissional. ● TERESA: Houve poucos ruídos no momento do crime ou o matador não é um profissional. ● CINTIA: A vítima estava toda ensanguentada ou houve muitos ruídos no momento do crime. ● MELO: Havia pouco sangue na cena do crime. b) Os quatro detetives acima modificam suas opiniões e concluem: ● ANA : Se há sangue na cena do crime, então o matador é um profissional. ● TERESA: É falso que há sangue na cena do crime e o matador não é um profissional. ● CINTIA: O matador não é um profissional e há sangue na cena do crime. ● MELO: Há sangue na cena do crime.

Quatro detetives, Ana, Teresa, Cintia e Melo estão investigando as causas de um assassinato e cada um deles concluiu o que se segue
c) Se a partir das conclusões de Teresa e Melo pode-se concluir que o matador é profissional?

Essa pergunta também está no material:

lista 03
4 pág.

Direito Constitucional I Universidade Regional da BahiaUniversidade Regional da Bahia

Ainda não temos respostas

Você sabe responder essa pergunta?

Crie uma conta e ajude outras pessoas compartilhando seu conhecimento!


✏️ Responder

SetasNegritoItálicoSublinhadoTachadoCitaçãoCódigoLista numeradaLista com marcadoresSubscritoSobrescritoDiminuir recuoAumentar recuoCor da fonteCor de fundoAlinhamentoLimparInserir linkImagemFórmula

Para escrever sua resposta aqui, entre ou crie uma conta.

User badge image

Outros materiais