Best Formal Logic Apps & Games

249+ iOS apps & games curated and reviewed

4.5 avg rating
18 free apps & games
Updated September 2026

Symbols is the household name in formal logic, but it's far from the only option. We track 249+ alternatives and competitors on iOS — many free, many higher-rated than you'd expect.

Compare top Formal Logic Apps & Games (September 2026)

#AppPriceRatingAdsIn-App PurchasesUpdated
1Symbols: Learn LogicSymbols: Learn LogicFree4.5★ (8)NoYesMay 2026
2Euclidiana: LSAT Logic PrepEuclidiana: LSAT Logic PrepFree5.0★ (7)NoYesSep 2026
3Predicate Logic FoundationsPredicate Logic FoundationsFreeNoNoJun 2026
4Logic LearnerLogic LearnerFreeNoNoMay 2026
5Logical Construct & PhilosophyLogical Construct & PhilosophyFree was $7.995.0★ (1)NoYesSep 2026
6The Logic CalculatorThe Logic CalculatorFree4.4★ (7)NoNoAug 2026
7Logic WorkshopLogic WorkshopFreeNoNoMay 2026
8Logical ArgumentationLogical ArgumentationFree3.0★ (1)YesYesSep 2026

Top Picks for Formal Logic

Symbols: Learn Logic#1

Symbols: Learn Logic by Matthew Rayes

Learn Symbolic Logic Easily
Editor's Choice
📚 Education
4.5(8 ratings)
FreeIn-App Purchases
Symbols: Learn Logic screenshot 1
Symbols: Learn Logic screenshot 2
Symbols: Learn Logic screenshot 3
Symbols: Learn Logic screenshot 4
Symbols: Learn Logic screenshot 5
Symbols: Learn Logic screenshot 6

Learn symbolic logic through interactive exercises and visual study cards. Master rules of inference, evaluate arguments, and translate everyday language into formal logic. Progress through various activities to build and solidify your understanding of logical reasoning.

Euclidiana: LSAT Logic Prep#2

Euclidiana: LSAT Logic Prep by Daniel Winarick

Logical Reasoning Drills
Strong Contender
📚 Education
5.0(7 ratings)
FreeIn-App Purchases
Euclidiana: LSAT Logic Prep screenshot 1
Euclidiana: LSAT Logic Prep screenshot 2
Euclidiana: LSAT Logic Prep screenshot 3
Euclidiana: LSAT Logic Prep screenshot 4
Euclidiana: LSAT Logic Prep screenshot 5
Euclidiana: LSAT Logic Prep screenshot 6

This app provides focused practice for the LSAT Logical Reasoning section with original questions and detailed explanations. It features a clean, distraction-free interface designed to improve pattern recognition and test scores. Form A is free, with additional forms available via subscription.

More Formal Logic apps to explore

FAQ about Formal Logic

What are the best formal logic apps & games for iPhone?
Symbols: Learn Logic tops our formal logic apps & games ranking as of September 2026, with a 4.5-star average from 8 App Store ratings, and it's free to download.
Yes — 18 of the top formal logic apps & games we rank are free to download, including Symbols: Learn Logic and Euclidiana: LSAT Logic Prep.
Symbols: Learn Logic has no ads and offers in-app purchases, according to its App Store listing as of September 2026.
We track 249+ formal logic apps & games on the iOS App Store as of September 2026, ranked by rating, recency, and analysis of real user reviews.
Symbols: Learn Logic is an educational app designed to teach symbolic logic and the rules of inference. It uses interactive exercises and visual study cards to help users grasp logical concepts.
Symbols: Learn Logic teaches essential rules of inference such as Modus Ponens, Modus Tollens, and Disjunctive Syllogism. It provides clear explanations and examples for each rule.