Next: {
Up: {
Previous: {
Problema ${n^{{o}} 14}$ }
Considere o seguinte conjunto de afirma{c}{o}es:
{enumerate}
Os guardas fiscais inspecionam todas as pessoas que entram neste
pa{i}s e que n{a}o sejam VIPs.
Alguns traficantes de droga entraram neste pa{i}s e foram apenas
revistados por traficantes de droga.
Nenhum traficante de droga {e} VIP.
enumerate}
Represente o conhecimento acima expresso, da forma que lhe parecer mais
conveniente, e construa uma árvore de prova que mostre que
{alguns guardas fiscais s{a}o traficantes de droga.}
%%%%%%%%%%%%%%%%%%%%
Delfim F. Marado Torres
1999-03-16