We use cookies and other technologies on this website to enhance your user experience.
By clicking any link on this page you are giving your consent to our Privacy Policy and Cookies Policy.
Forgik icon

Forgik

Propositional Logic Prover
1.1.0 for Android

The description of Forgik

Forgik is an educational application to learn and practice natural deduction.
By using inference rules, your goal is to prove a conclusion by assuming multiple premises.

Forgik uses a specific set of inference rules, including the law of excluded middle.
This set of rules is called classical logic and it allows proofs by contradiction.

Currently, Forgik only supports propositional logic.
But it will soon support first order logic, which is also called predicate logic.
Show More

Forgik 1.1.0 Update

2020-08-07
- Show the goals of each ongoing subproof.
- Add proof report.
- Add visual animations.
- Simplify UI.
- Add new challenge.

Additional Information

Advertisement
Previous versions
  • V1.1.0 1.2 MB XAPK APKs

    Forgik

    2020-08-10

    Forgik 1.1.0 (10100)

    Update on: 2020-08-10

    Uploaded by: كوره دوزي

    Requires Android: Android 4.4+ (Kitkat, API 19)

    Signature: b3814870892d06baa06129cddc18bc96bf0f35d2 Forgik 1.1.0(10100) safe verified

    Screen DPI: 160-480dpi

    Architecture: universal

    Base APK: com.choupom.forgik.android.apk

    Split APKs: config.ar, config.de, config.en, config.es, config.fr, config.hi, config.in, config.it, config.ja, config.ko, config.my, config.pt, config.ru, config.th, config.tr, config.vi, config.xxhdpi, config.zh

    File SHA1: 5e8f6d083606adc33eededef620582b993d6db29

    File Size: 1.2 MB

    What's new:

    Download

  • V1.1.0 1.1 MB APK

    Forgik

    2020-08-07

    Forgik 1.1.0 (10100)

    Update on: 2020-08-07

    Uploaded by: بو عذيبه

    Requires Android: Android 4.4+ (Kitkat, API 19)

    Signature: b3814870892d06baa06129cddc18bc96bf0f35d2 Forgik 1.1.0(10100) safe verified

    Screen DPI: 160-480dpi

    Architecture: universal

    File SHA1: 75e8cadc2598f5063c771f5881c15bab07bf6a93

    File Size: 1.1 MB

    What's new:

    Download

Similar to Forgik
Comment Loading...
Ooops! No such content!
Popular Apps In Last 24 Hours
Download
APKPure App