Use APKPure App
Get Forgik old version APK for Android
Forgik is een educatieve app om sequenties te bewijzen met behulp van natuurlijke deductie.
Forgik is een educatieve applicatie om natuurlijke deductie te leren en te oefenen.
Met behulp van inferentieregels is uw doel om een conclusie te bewijzen door meerdere premissen aan te nemen.
Forgik gebruikt een specifieke reeks inferentieregels, inclusief de wet van uitgesloten midden.
Deze set regels wordt klassieke logica genoemd en maakt tegenstrijdige bewijzen mogelijk.
Momenteel ondersteunt Forgik alleen propositionele logica.
Maar het zal binnenkort de eerste-orde-logica ondersteunen, die ook predikatenlogica wordt genoemd.
Wat is er nieuw in de nieuwste versie 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.
Vertaling Laden...
Forgik
Propositional Logic P1.1.0 by Andy Poudret
Aug 7, 2020