Problema $\mathbf{n^{\footnotesize {o}} 14}$

Considere o seguinte conjunto de afirmações:

1.
Os guardas fiscais inspecionam todas as pessoas que entram neste país e que não sejam VIPs.
2.
Alguns traficantes de droga entraram neste país e foram apenas revistados por traficantes de droga.
3.
Nenhum traficante de droga é VIP.

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ão traficantes de droga.


Delfim F. Marado Torres
1999-03-16