Câblez les blocs de règles d'inférence dans un graphique de preuve, alimentant les locaux à travers les règles jusqu'à ce que le nœud d'objectif s'allume en vert.
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.
Wirelogic est construit sur la déduction naturelle, transformant les règles de preuve formelles en un puzzle de câblage.
Partir de blocs de prémisses et atteindre un but en choisissant des règles d'inférence, c'est la déduction formelle, la pratique qui va du syllogisme d'Aristote aux systèmes de preuve modernes.
Le détail de conception qui enseigne quelque chose est qu'une règle ne s'applique que si ses entrées correspondent réellement.
C'est toute la différence entre raisonner et affirmer. Un argument qui semble juste mais n'épouse la forme d'aucune règle valide est exactement l'erreur que la logique formelle a été inventée pour débusquer, et être incapable de forcer la connexion est plus instructif que d'être sanctionné d'une erreur.
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.