{

Problema ${n^{{o}} 12}$ } Considere as seguintes afirma{c}{o}es:
{itemize} Todas as companhias que valem menos do que outra companhia ou que s{a}o inconstantes s{a}o um mau investimento; A companhia Investimentos Inteligentes Lda. ou {e} um mau investimento ou existe uma outra companhia que cresce mais lentamente; A companhia Investimentos Cretinos Lda. cresce mais lentamente do que qualquer outra companhia. itemize} {description} [a)] Crie um programa em lógica (em Prolog) que represente o conhecimento expresso nestas afirma{c}{o}es. [b)] Prove, construindo uma árvore de prova, que existe uma companhia que {e} um mau investimento. description} %%%%%%%%%%%%%%%%%%%%