Home  /  Education Apps  / Forgik - Propositional Logic Prover
Forgik - Propositional Logic Prover Application icon

Forgik - Propositional Logic Prover 1.1.0

1.2 MB / 10+ Downloads / Rating 3.4 - 7 reviews


See previous versions

Forgik - Propositional Logic Prover, developed and published by Andy Poudret, has released its latest version, 1.1.0, on 2023-12-11. This app falls under the Education category on the Google Play Store and has achieved over 1000 installs. It currently holds an overall rating of 3.4, based on 7 reviews.

Forgik - Propositional Logic Prover APK available on this page is compatible with all Android devices that meet the required specifications (Android 4.4+). It can also be installed on PC and Mac using an Android emulator such as Bluestacks, LDPlayer, and others.

Read More

App Screenshot

App Screenshot

App Details

Package name: com.choupom.forgik.android

Updated: 1 year ago

Developer Name: Andy Poudret

Category: Education

New features: Show more

Installation Instructions

This article outlines two straightforward methods for installing Forgik - Propositional Logic Prover on PC Windows and Mac.

Using BlueStacks

  1. Download the APK/XAPK file from this page.
  2. Install BlueStacks by visiting http://bluestacks.com.
  3. Open the APK/XAPK file by double-clicking it. This action will launch BlueStacks and begin the application's installation. If the APK file does not automatically open with BlueStacks, right-click on it and select 'Open with...', then navigate to BlueStacks. Alternatively, you can drag-and-drop the APK file onto the BlueStacks home screen.
  4. Wait a few seconds for the installation to complete. Once done, the installed app will appear on the BlueStacks home screen. Click its icon to start using the application.

Using LDPlayer

  1. Download and install LDPlayer from https://www.ldplayer.net.
  2. Drag the APK/XAPK file directly into LDPlayer.

If you have any questions, please don't hesitate to contact us.

App Rating

3.4
Total 7 reviews

Reviews

5 ★, on 2020-07-28
Is a very great app, teaches propositional logic well. I gave it a 2 star rating because of a bug. That bug has been fixed, so now it's a 5 star rating from me.

Previous Versions

Forgik - Propositional Logic Prover 1.1.0
2023-12-11 / 1.2 MB / Android 4.4+

About this app

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.

New features

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