next up previous
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