Ce wiki est un travail collaboratif. L’objectif est d’analyser les assertions logiques données, dire si elles sont vraies ou fausses, et formuler leur négation. Chaque étudiant peut contribuer à la rédaction de la solution, proposer des contre-exemples, et corriger les erreurs de logique.