Forgik - Propositional Logic P is no longer on Google Play. It was there for 4 years, until May 2024. It was a niche app, with 6.5 thousand installs. It had too few ratings to say what users thought.
Forgik - Propositional Logic P is made and published by
Andy Poudret.
AppBrain is an independent app data site and isn't affiliated with Andy Poudret.
The app name, icon, screenshots and description belong to Andy Poudret and are shown as
published on Google Play.
About Forgik - Propositional Logic P
Forgik - Propositional Logic P was an education app developed by Andy Poudret. It was removed from Google Play May 12, 2024.
Install Statistics
Forgik - Propositional Logic P had been installed 6.5 thousand times before it became unavailable.
User Ratings
The app had no ratings.
App Information
Forgik - Propositional Logic P was free. The app size was 1,003.93 kB. The last available version was 1.1.0. The last update was on June 1, 2020.
Technical Requirements
Forgik - Propositional Logic P required Android 4.4+ or higher. The app had a content rating of Everyone. The app had been available on Google Play since October 2019.
Description by Andy Poudret(from Google Play)
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.
Recent changes: - Show the goals of each ongoing subproof. - Add proof report. - Add visual animations. - Simplify UI. - Add new challenge.
Get a detailed PDF report for Forgik - Propositional Logic P with download trends, rating history,
and key performance statistics — useful for competitive research or tracking your own app.
Learn more
Comments on Forgik - Propositional Logic P for Android
★★★★★
Best
★★★★★
A fun puzzler for people beginning to learn propositional logic.
★★★★★
I'm a little confused as to what to do as there is no tutorial or description on what does what. However, as a new philosophy student, this is exactly the tool I need to practice Classical Logic and I deeply appreciate it. Would love to add the 5th star if there was some guidance for at least the first challenge.
★★☆☆☆
This is not a solver. Click bait app
★★☆☆☆
Is a very great app, teaches propositional logic well. Why am I giving it a 2 star rating, then? Well, any challenge can be solved using the exact same proof. Assume ~(conclusion). Now assume ~~(conclusion). Reductio ad absurdum says ~~~(conclusion). Now assume ~~(conclusion) again. Somehow reductio ad absurdum says ~~~~(conclusion). Anyways so ~~(conclusion) is true, so let's remove that ~~, so conclusion is true.
Technologies used by Forgik - Propositional Logic P
16 libraries
Subscribe to see full permission and library details
Each subscription will automatically renew 3 days before the expiration date for
the same time period. Subscriptions can be cancelled at any time before the renewal.
