Use APKPure App
Get Forgik old version APK for Android
Forgik ist eine pädagogische App zum Nachweis von Sequenzen mit natürlichen Ableitungen.
Forgik ist eine pädagogische Anwendung zum Erlernen und Üben natürlicher Folgerungen.
Mit Hilfe von Inferenzregeln ist es Ihr Ziel, eine Schlussfolgerung unter der Annahme mehrerer Prämissen zu beweisen.
Forgik verwendet einen bestimmten Satz von Inferenzregeln, einschließlich des Gesetzes der ausgeschlossenen Mitte.
Dieses Regelwerk heißt klassische Logik und erlaubt Beweise durch Widerspruch.
Derzeit unterstützt Forgik nur Aussagenlogik.
Es wird jedoch bald eine Logik erster Ordnung unterstützen, die auch Prädikatenlogik genannt wird.
Was ist neu in der neuesten 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.
Übersetzung wird geladen...
Forgik
Propositional Logic P1.1.0 by Andy Poudret
Aug 7, 2020