Use APKPure App
Get Forgik old version APK for Android
Forgik è un'app educativa per dimostrare sequenze usando la deduzione naturale.
Forgik è un'applicazione educativa per apprendere e praticare la deduzione naturale.
Usando le regole di inferenza, il tuo obiettivo è dimostrare una conclusione assumendo premesse multiple.
Forgik utilizza un insieme specifico di regole di inferenza, inclusa la legge del mezzo escluso.
Questo insieme di regole si chiama logica classica e consente prove per contraddizione.
Attualmente, Forgik supporta solo la logica proposizionale.
Ma supporterà presto la logica del primo ordine, che è anche chiamata logica predicata.
Last updated on Aug 7, 2020
- Show the goals of each ongoing subproof.
- Add proof report.
- Add visual animations.
- Simplify UI.
- Add new challenge.
Caricata da
بو عذيبه
È necessario Android
Android 4.4+
Categoria
Segnala
Forgik
Propositional Logic P1.1.0 by Andy Poudret
Aug 7, 2020