Wirelogic

Le tableau commence avec vos blocs de prémisse et un objectif. Choisissez une règle d'inférence dans la palette, puis cliquez sur les blocs d'entrée dont elle a besoin ; s'ils correspondent, la règle dérive un nouveau bloc connecté à ses entrées. Enchaînez les règles jusqu'à ce que vous obteniez l'objectif. Pour prouver une implication, ajoutez une hypothèse et déchargez-la avec une introduction d'implication.

• Choisissez une règle comme le modus ponens, et-introduction, ou et-élimination
• Cliquez sur ses blocs d'entrée afin d'en dériver une nouvelle proposition
• Ajoutez une hypothèse pour prouver une implication, puis appliquez l'implication-introduction
• Illuminez le but avec le moins de règles possible pour battre le par

• Quotidien : un puzzle fixe partagé chaque jour
• Pratique : de nouveaux puzzles aléatoires

• Bureau : cliquez sur une règle, puis cliquez sur les blocs de saisie sur le canevas ; Annuler, Annuler la règle, Effacer le tableau et Nouveau sont disponibles
• Téléphone et tablette : appuyez sur une règle et appuyez sur les blocs pour les câbler (souris ou toucher uniquement)

• Travaillez en arrière à partir de l'objectif pour voir quelle règle le produit, puis dérivez les entrées de cette règle
• Lorsque le but est une implication, supposez son antécédent dès le début et visez à en dériver le conséquent avant de le décharger.

Wirelogic est construit sur la déduction naturelle, transformant les règles de preuve formelles en un puzzle de câblage.

• Compétences : déduction naturelle, logique formelle, règles de preuve
• Idéal pour : lycée/collège avancé
• Pour les parents & enseignants : déduction naturelle, preuve formelle.

Wirelogic est un jeu de logique par navigateur gratuit et original basé sur la déduction naturelle, transformant les règles de preuve formelles en blocs câblés afin que la structure d'un argument valide devienne quelque chose que vous pouvez voir et construire.

Un jeu original et gratuit dans votre navigateur — sans téléchargement. Voir tous les jeux →