Title: Exercicis i proves objectives de lògica per representar el coneixement