Use APKPure App
Get Forgik old version APK for Android
Forgik est une application éducative qui permet de prouver l'utilisation de déductions naturelles à l'aide de déductions.
Forgik est une application éducative pour apprendre et pratiquer la déduction naturelle.
En utilisant des règles d'inférence, votre objectif est de prouver une conclusion en supposant plusieurs prémisses.
Forgik utilise un ensemble spécifique de règles d'inférence, y compris la loi du tiers exclu.
Cet ensemble de règles s'appelle la logique classique et permet des preuves par contradiction.
Actuellement, Forgik ne supporte que la logique propositionnelle.
Mais il supportera bientôt la logique du premier ordre, également appelée logique des prédicats.
Quoi de neuf dans la dernière version 1.1.0
Last updated on Aug 7, 2020
- Show the goals of each ongoing subproof.
- Add proof report.
- Add visual animations.
- Simplify UI.
- Add new challenge.
Chargement de la traduction...
Forgik
Propositional Logic P1.1.0 by Andy Poudret
Aug 7, 2020