Le jeu se joue en appuyant de manière appropriée sur les boutons A et B - soit avec le clavier, soit avec la souris - selon les instructions données. Si vous appuyez sur le bon bouton, vous marquez 1 point, si vous faites une erreur, le jeu se termine. Le but est de marquer le plus de points possible. Il faut faire attention car les indications sont parfois données par des chevaliers, des personnages fiables qui disent toujours la vérité, et parfois par des fripons, des personnages peu fiables qui mentent toujours.

Dans HOME, vous choisissez comment organiser le jeu.

• TYPES DE QUESTIONS
  

  On choisit la structure logique des questions posées, on peut même sélectionner plus d'une alternative.

  

  Dans ce premier type d'exercice, il s'agit simplement de reconnaître les déclarations vraies et fausses, c'est-à-dire de prêter attention au personnage qui les fait. Il est nécessaire d'appuyer sur A ou B à chaque tour pour continuer (si vous n'appuyez sur rien, vous ne passez pas au tour suivant).

  
  

  Des écrits du type ANIMAL (TIGRE) apparaissent dans la section prédicat : cet écrit doit être lu comme "le tigre est un animal". En général, X(Y) doit être lu comme "Y est de type X".

  
  

  La section sur la négation présente le symbole NOT ;
  ¬ ANIMAL (TIGRE) doit être lu comme "le tigre N'est PAS un animal". En général, ¬ X(Y) doit être lu comme "Y n'est pas du type X".

  
  

  Le symbole AND est présenté dans cette section ;
  A ∧ B est vrai si A et B sont tous deux vrais. Par exemple, ANIMAL (TIGRE) ∧ ANIMAL (OURS) est vrai, mais ANIMAL (TIGRE) ∧ ANIMAL (CHAISE) est faux.

  
  

  Le symbole OR est présenté dans cette section ;
  A ∨ B est vrai si au moins l'un de A et B est vrai. Par exemple, ANIMAL (TIGRE) ∨ ANIMAL (CHAIR) est vrai, tandis que ANIMAL (CHAIR) ∨ ANIMAL (TABLE) est faux.

  
  

  Cette section présente le symbole EXCLUSION ;
  A \ B est vrai seulement dans le cas où A est vrai et B est faux. Par exemple, ANIMAL (TIGRE) \ ANIMAL (CHAISE) est vrai.

  
  

  Cette section présente l'implication ;
  A → B est vrai dans trois cas différents : si A et B sont tous deux vrais, s'ils sont tous deux faux, et si A est faux et B est vrai. Par exemple, ANIMAL (TIGRE) → ANIMAL (CHAIR) est faux, alors que les deux ANIMAUX (TIGRE) → ANIMAL (OURS), les deux ANIMAUX (TABLE) → ANIMAL (CHAIR), et les deux ANIMAUX (TABLE) → ANIMAL (OURS) sont vrais.

  
• TYPE DE PREDICAT
  

  On choisit le type de prédicats, c'est-à-dire si les affirmations faites se rapportent à un domaine général de connaissances élémentaires ou spécifiquement aux mathématiques.

  Précisons maintenant la signification de certains prédicats mathématiques qui apparaissent au niveau 2.

  • MULTIPLE_3 (n) doit être lu comme "Le nombre n est un multiple de 3". Pour que n soit un multiple de 3, il doit exister un nombre entier k où n = k × 3. Par exemple, 15 est un multiple de 3 car 15 = 5 × 3, tandis que 10 n'est pas un multiple de 3 car 10 = k × 3 n'admet pas de solutions entières.

  • CARRE (n) doit être lu comme "Le nombre n est un carré". Pour que n soit un carré, il doit exister un nombre entier k pour lequel n = k × k. Par exemple, 16 est un carré car 16 = 4 × 4, alors que 15 n'est pas un carré car 15 = k × k n'admet pas de solutions entières.

• TEMPS DISPONIBLE
  

  Vous choisissez la durée maximale du jeu (1, 2, 4 minutes).