Best Formal Logic Apps & Games

249+ iOS apps & games curated and reviewed

4.5 avg rating

19 free apps & games

Updated October 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 (October 2026)

#	App	Price	Rating	Ads	In-App Purchases	Updated
1	Symbols: Learn Logic	Free	4.5★ (8)	No	Yes	May 2026
2	Logic Learner	Free	—	No	No	May 2026
3	Predicate Logic Foundations	Free	—	No	No	Jun 2026
4	Logical Construct & Philosophy	Free	5.0★ (1)	No	Yes	Sep 2026
5	The Logic Calculator	Free	4.4★ (7)	No	No	Aug 2026
6	Philosophy Help AI: Logic IQ	Free	5.0★ (2)	No	Yes	Oct 2026
7	Euclidiana: LSAT Logic Prep	Free	5.0★ (7)	No	Yes	Oct 2026
8	Logical Argumentation	Free	3.0★ (1)	Yes	Yes	Oct 2026

Top Picks for Formal Logic

#1

Symbols: Learn Logic by Matthew Rayes

Learn Symbolic Logic Easily

Editor's Choice

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.

#2

Logic Learner by Ankit Kapoor

Learn Logic

Strong Contender

0.0(0 ratings)

Free

Logic Learner screenshot 1

Logic Learner screenshot 2

Logic Learner screenshot 3

Logic Learner screenshot 4

This application is designed to help users understand and learn about the principles of logic. It provides educational content to build a foundational understanding of logical concepts.

#3

Predicate Logic Foundations by AFTW LLC

Solve Proofs Offline

Worth Considering

0.0(0 ratings)

Free

Predicate Logic Foundations screenshot 1

Predicate Logic Foundations screenshot 2

Predicate Logic Foundations screenshot 3

Predicate Logic Foundations screenshot 4

Predicate Logic Foundations screenshot 5

More Formal Logic apps to explore

Logical Construct & Philosophy

Logical Construct & Philosophy

Logical Construct & Philosophy

Logic & Critical Thinking

Engage with formal logic through interactive puzzles. Apply inference rules to construct valid proofs, making abstract reasoning concrete and intuitive. Explore propositional and modal logic, with classic philosophical arguments integrated into the learning process.

Interactive proof construction24 inference rulesPropositional and modal logic

free with in-app purchases

The Logic Calculator

The Logic Calculator

The Logic Calculator

by Ioannis Votsis

This free utility app helps users perform propositional logic operations with ease. It provides detailed feedback on input well-formedness, sentence types, set consistency, and argument validity. Users can also generate and copy truth tables to other applications.

Propositional logic operationsInput well-formedness checkingTautology, contradiction, and contingency determination

Philosophy Help AI: Logic IQ

Philosophy Help AI: Logic IQ

Philosophy Help AI: Logic IQ

Exam, Test & Homework Solver

This AI-powered tutor assists with philosophy and formal logic studies. It breaks down complex concepts like truth tables and proofs, helps analyze arguments, and explores ethical dilemmas and thought experiments. Get step-by-step guidance for homework and test preparation.

Formal logic breakdown (proofs, truth tables)Argument analysis and fallacy identificationThought experiment and ethics exploration

Euclidiana: LSAT Logic Prep

Euclidiana: LSAT Logic Prep

Euclidiana: LSAT Logic Prep

Logical Reasoning Drills

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.

150 original LSAT-style questionsStep-by-step answer explanationsColor-coded stimulus highlighting

Logical Argumentation

Logical Argumentation

Logical Argumentation

Critical Thinking & Philosophy

Master deductive, inductive, and abductive reasoning with interactive lessons and an AI-powered tutor. Practice argument construction, identify fallacies, and track your progress in this comprehensive logic learning tool.

Deductive, Inductive, Abductive ReasoningLogical Fallacies RecognitionArgument Construction & Evaluation

free with in-app purchases

Logic Puzzles - Clue Game

Logic Puzzles - Clue Game

Logic Puzzles - Clue Game

Brain teasers & cross riddles

Engage your mind with challenging brain teasers and cross logic puzzles. Solve mysteries and unravel intricate stories by using deductive reasoning and elimination. This game offers a fun way to sharpen your logical thinking skills with numerous themed puzzles.

Cross logic puzzlesThematic storiesDeductive reasoning challenges

free with in-app purchases

Logic Practice Notebook

Unhook Minimal Logic

Unhook Minimal Logic

Unhook Minimal Logic

Logic Gate: Bug Zapper

Logic Gate: Bug Zapper

Logic Gate: Bug Zapper

Real Logic Riddle Puzzle

Real Logic Riddle Puzzle

Real Logic Riddle Puzzle

Pure Logic Puzzles

Engage your brain with a logic puzzle game that challenges you to deduce a scenario using only a set of clues. Solve thousands of riddles, from simple to complex, with daily challenges and helpful filters.

Thousands of logic riddlesDaily free challengesIncreasing difficulty levels

Einstein Puzzle Logic Game

by Sergey Rozovik

This app helps develop logical thinking skills in young children aged 3-5. It uses engaging visuals and sounds to teach concepts like analogies, conclusions, comparison, and analysis. Parents can guide their child through activities and encourage them to explain their reasoning.

Develops logical thinkingTeaches analogies and conclusionsEncourages comparison and analysis

Digital Logic Design (BSCS)

Digital Logic Design (BSCS)

Digital Logic Design (BSCS)

Digital Logic Design Quiz

by CLINE FAY INSTITUTE, INC

Zero One Protocol: Logic

Zero One Protocol: Logic

Zero One Protocol: Logic

Logic Puzzle Platformer Game

Cozy rooms. High IQ required!

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 October 2026, with a 4.5-star average from 8 App Store ratings, and it's free to download.

Are there free formal logic apps & games for iPhone?

Yes — 19 of the top formal logic apps & games we rank are free to download, including Symbols: Learn Logic and Logic Learner.

Does Symbols: Learn Logic have ads or in-app purchases?

Symbols: Learn Logic has no ads and offers in-app purchases, according to its App Store listing as of October 2026.

How many formal logic apps & games are on the App Store?

We track 249+ formal logic apps & games on the iOS App Store as of October 2026, ranked by rating, recency, and analysis of real user reviews.