Boa tarde,

Abaixo segue um pequeno desafio para que vocs possam utilizar as regras de infernc
ia na resoluo de problemas. Cada aluno deve responder a esse tpico com a sua resoluo
em anexo, nomeada da seguinte forma: NomeDoAluno_TDE_2Estgio. O prazo para a entre
ga da resoluo deste desafio dia 30/04/2016.
TDE 2 Estgio

Aplicaes do Mtodo Dedutivo para Resoluo de Problemas

O famoso detetive Tyrion Lannister foi chamado para resolver um misterioso assas
sinato. Ao ouvir as testemunhas, ele determinou os seguintes fatos:

(a) Joffrey Baratheon, o homem assassinado, foi morto com uma dose fatal de ve
neno.
(b) Lady Sansa ou a empregada Arya estavam na sala de jantar no momento do ass
assinato.
(c) Se o cozinheiro estava na cozinha no momento do assassinato, ento o aougueir
o matou Joffrey Baratheon com uma pancada na cabea com um castial.
(d) Se Lady Sansa estava na sala de jantar no momento do assassinato, ento o Ca
valeiro das Flores matou Joffrey Baratheon.
(e) Se o cozinheiro no estava na cozinha no momento do assassinato, ento Arya no
estava na sala de jantar quando o assassinato ocorreu.
(f)
Se Arya estava na sala de jantar no momento do assassinato, ento o ajudant
e pessoal de Joffrey Baratheon o matou.
(g)

O cozinheiro no estava na cozinha no momento do assassinato.

A partir dessas hipteses possvel para o detetive Tyrion Lannister deduzir quem mat
ou Joffrey Baratheon? Se sim, quem o assassino?

Instrues: Use o mtodo dedutivo para resolver este crime.