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
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:
b) Os quatro detetives acima modificam suas opiniões e concluem: