Investigacao Policial Logica e Deducoes-Analise de Assassinato e Consequencias

3 Quatro detetives Ana Teresa Maria e Zé estão investigando as causas de um assassinato e cada um deles concluiu uma das afirmações a seguir Ana Se há pouco sangue na cena do crime então o assassino é um profissional Teresa Houve poucos ruídos no momento do crime ou o assassino não é um profissional Maria A vítima estava toda ensanguentada ou houve muitos ruídos no momento do crime Zé Houve pouco sangue na cena do crime Determine se o conjunto de conclusões dos detetives é satisfatível usando resolução 4 Considere as sentenças Se Guga joga uma partida de tênis a torcida comparece se o ingresso é barato Se Guga joga uma partida de tênis o ingresso é barato A sentença Se Guga joga uma partida de tênis a torcida comparece é uma consequência lógica das afirmações anteriores Use Tableaux 5 Considere as afirmações Se Maria não for designP ou Ana for programadoraQ então Camila não será professoraR0 Se Andrea for MédicaS então Ana será programadora Se Maria for Design então Andrea será médica Ana não será programadora É possível que Camila seja professora Use dedução natural