# Propositional Logic Resolver

> Step-by-step propositional logic solver with rules and offline access. (iPhone/iPad app by Quang Phan.)

- Source: https://appshunter.io/ios/app/propositional-logic-resolver/id1502236741 (this page in markdown: same URL + `.md`)
- Developer: [Quang Phan](https://appshunter.io/developer/1502082079)
- Category: Education, Utilities
- Price: $0.99
- Age rating: 4+
- Requires: iOS 13.0 · 100 MB
- Languages: English, Spanish, Vietnamese
- Released: 2021-05-27
- Data updated: 2026-06-10
- Monetization: paid
- User reviews in markdown: https://appshunter.io/ios/app/propositional-logic-resolver/id1502236741/reviews.md

## What is Propositional Logic Resolver?

+ Step by step answers
Not only the correct answers but the app provide a series of logical equivalences and inference rules to get the answers.

+ Resolve the most common problems
Simplify compound propositions, Propositional equivalences, Validate an argument.

+ No internet connection required.
Resolve your problems anywhere without internet.

+ Important logical equivalences and inference rules.
Check logical equivalences and inference rules again if you forget them.

+ Dark mode
Save your battery and your eyes.

## Key features

- Step-by-step logical solutions
- Simplification of compound propositions
- Propositional equivalences
- Argument validation
- Offline functionality
- Reference for logical equivalences and inference rules
- Dark mode

## Recent user reviews (2 of 2)

All indexed reviews: https://appshunter.io/ios/app/propositional-logic-resolver/id1502236741/reviews.md

### 1/5 — Extremely Poor App

*2022-02-18*

scam, does not do primarily advertised objective (always says there aren’t enough premises to resolve literally ANY propositions i’ve entered)

### 1/5 — don’t waste ur money

*2022-02-10, version 1.0.3*

this app doesn’t even work. tried to use it for my class and the program kept saying “Failed to get result” and i put everything in correctly just like the preview pictures on here. please fix this.

## Frequently asked questions about Propositional Logic Resolver

### What types of problems can Propositional Logic Resolver solve?

Propositional Logic Resolver can simplify compound propositions, check propositional equivalences, and validate arguments. It provides step-by-step solutions using logical equivalences and inference rules.

### Does Propositional Logic Resolver require an internet connection?

No, Propositional Logic Resolver does not require an internet connection to function. You can resolve logic problems anywhere, anytime, without needing to be online.

### What are the benefits of the dark mode in Propositional Logic Resolver?

The dark mode in Propositional Logic Resolver is designed to save battery life on compatible devices and reduce eye strain for users, especially during extended study sessions.

### Can I access logical equivalences and inference rules within Propositional Logic Resolver?

Yes, the app includes important logical equivalences and inference rules. This allows you to quickly check or refresh your understanding of these fundamental concepts as you work through problems.

### What devices is Propositional Logic Resolver compatible with?

Propositional Logic Resolver is compatible with iPhone, iPad, and iPod devices. It is designed for iOS users who need a portable logic solving tool.

### How often is Propositional Logic Resolver updated?

The latest version of Propositional Logic Resolver is 2.1.0, which was last updated on April 4, 2022. Updates typically include bug fixes and feature enhancements.

### What is the age rating for Propositional Logic Resolver?

Propositional Logic Resolver has an age rating of 4+. This indicates it is suitable for a wide range of users, including younger learners, due to its educational nature.

### Does Propositional Logic Resolver have ads?

No, Propositional Logic Resolver is ad-free. As a paid application, it provides an uninterrupted user experience without advertisements.

## Version history (last 4 releases)

### 2.1.0 — 2022-04-04

Allow to view a specific rule

### 2.0.0 — 2022-03-14

Support biconditional
Improve performance

### 1.0.3 — 2021-06-10

Support Spanish

### 1.0.0 — 2021-05-28

No release notes.

## Apps similar to Propositional Logic Resolver

| App | Rating | Price | Category |
| --- | --- | --- | --- |
| [Math Galaxy 8th Grade Math](https://appshunter.io/ios/app/math-galaxy-8th-grade-math/id998383044) | — | $12.99 | Education |
| [Binary Code Toolkit](https://appshunter.io/ios/app/binary-code-toolkit/id1602413528) | — | $1.99 | Education |
| [Logic Kit](https://appshunter.io/ios/app/logic-kit/id6446998513) | 5.0 (7) | $9.99 | Education |
| [Symbolab Graphing Calculator](https://appshunter.io/ios/app/symbolab-graphing-calculator/id1435182798) | 4.0 (213) | Free | Education |
| [Logic-Gate-Design](https://appshunter.io/ios/app/logic-gate-design/id1618913375) | 3.3 (6) | Free | Education |
| [Learning PHP Programming](https://appshunter.io/ios/app/learning-php-programming/id1552687655) | — | $1.99 | Education |

---

*Data collected daily from the US App Store and indexed by [AppsHunter](https://appshunter.io/). User reviews are verbatim App Store reviews. Ratings, prices and chart positions refresh continuously; this snapshot is from 2026-06-10.*