Outils de logique

• Éditeur de formules

  Écrire des formules et des preuves ligne par ligne, avec la négation en barre au-dessus des lettres, numéroter les lignes, noter les règles et exporter vers Word.

  Ouvrir LogEdit
• Arbres de vérité

  Construire un arbre logique à partir des prémisses et de la conclusion niée : prolonger, ramifier, fermer les branches, puis exporter en image ou vers Word.

  Ouvrir LogArb
• Vérificateur de preuves

  Vérifier chaque étape d’une déduction : choisir la règle ou la loi, toucher les lignes citées, et voir tout de suite si l’étape est correcte. Exercices du cours inclus.

  Ouvrir LogCheck
• Vérificateur d’arbres

  Construire un arbre logique et faire vérifier chaque décomposition : règles appliquées, numéros d’étape, branches fermées ou ouvertes. Export en image ou vers Word.

  Ouvrir ArbCheck
• Transcription

  Transcrire des raisonnements en langage logique : établir le lexique des propositions, puis traduire prémisses et conclusion en formules. Exercices en français et en allemand, classés par niveau.

  Ouvrir LogTrans