Considere o seguinte conjunto de afirmações:
- 1.
- Os Ferrari são carros italianos.
- 2.
- Os Alfa Romeu são carros italianos.
- 3.
- Os carros italianos têm bom arranque.
- 4.
- Os Volkswagen são carros alemães.
- 5.
- Os carros parados durante muito tempo apresentam problemas de arranque.
- 6.
- Os carros italianos que ficam fora da garagem apresentam problemas de arranque com o
tempo frio.
- 7.
- O carro do João é um Alfa Romeu.
- 8.
- O carro do João fica fora da garagem.
- 9.
- O tempo está frio.
Represente o conhecimento acima expresso, da forma que lhe parecer mais conveniente, e
construa uma árvore de prova que mostre que o carro do João tem problemas de arranque.
Delfim F. Marado Torres
1999-03-16
