Best Formal Logic Apps & Games

248+ iOS apps & games curated and reviewed

4.5 avg rating
20 free apps & games
Updated August 2026

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

Compare top Formal Logic Apps & Games (August 2026)

#AppPriceRatingAdsIn-App PurchasesUpdated
1Symbols: Learn LogicSymbols: Learn LogicFree4.5★ (8)NoYesMay 2026
2Predicate Logic FoundationsPredicate Logic FoundationsFreeNoNoJun 2026
3Logical Construct & PhilosophyLogical Construct & PhilosophyFree was $7.99NoYesJun 2026
4The Logic CalculatorThe Logic CalculatorFree4.4★ (7)NoNoAug 2026
5Logical ArgumentationLogical ArgumentationFree3.0★ (1)YesYesJun 2026
6Logic Puzzles - Clue GameLogic Puzzles - Clue GameFree4.5★ (57K)YesYesSep 2026
7Philosophy Help AI: Logic IQPhilosophy Help AI: Logic IQFree5.0★ (1)NoYesAug 2026
8Logic Grid PuzzlesLogic Grid PuzzlesFree4.8★ (39K)NoYesSep 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.

More Formal Logic apps to explore

4
The Logic Calculator
The Logic Calculator
The Logic Calculator
by Ioannis Votsis
Free

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
🔧 Utilities
(7)
free
5
Logical Argumentation
Logical Argumentation
Logical Argumentation
Critical Thinking & Philosophy
Free

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
📚 Education
(1)
free with in-app purchases
6
Logic Puzzles - Clue Game
Logic Puzzles - Clue Game
Logic Puzzles - Clue Game
Brain teasers & cross riddles
Free

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
🎮 Games
(57K)
free with in-app purchases
7
Philosophy Help AI: Logic IQ
Philosophy Help AI: Logic IQ
Philosophy Help AI: Logic IQ
Exam, Test & Homework Solver
Free

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
📚 Education
(1)
subscription
8
Logic Grid Puzzles
Logic Grid Puzzles
Logic Grid Puzzles
No Ads, Smart Hints, Easy-Hard
Free

Engage your mind with a collection of unique logic grid puzzles. Progress from beginner to master with increasing difficulty and multiple grid sizes. Utilize smart hints, auto-X, and multi-level undo to enhance your puzzle-solving experience.

100 unique logic puzzlesIncreasing difficulty levelsMultiple puzzle sizes
🎮 Games
(39K)
free with in-app purchases
9
Seat Clue: Logic Puzzle Game
Seat Clue: Logic Puzzle Game
Seat Clue: Logic Puzzle Game
The ultimate logic game!
Free

Engage in a relaxing logic deduction game focused on seating arrangement challenges. Use clues to eliminate possibilities and determine the correct placement for each character in a satisfying puzzle-solving experience.

Classic seating arrangement puzzlesClue-based logic gameplayMinimalist visual design
🎮 Games
(1)
free with in-app purchases
10
Glif Script: String Logic
Glif Script: String Logic
Glif Script: String Logic
by DAVID ALEJANDRO MONTOYA DIOSDADO
Free
🔧 Utilities
(0)
11
Verantyx Logic
Verantyx Logic
Verantyx Logic
Verantyx
Free
🔍 Reference
(0)
12
Unhook Minimal Logic
Unhook Minimal Logic
Unhook Minimal Logic
by 信杰 李
Free
🎮 Games
(0)
13
Fivecard Logic Race
Fivecard Logic Race
Fivecard Logic Race
by KAMIBAYASHI YUKA
Free
🎮 Games
(0)
14
Logic Gate: Bug Zapper
Logic Gate: Bug Zapper
Logic Gate: Bug Zapper
by 颖 杨
Free
🎮 Games
(0)
15
Mundane Games
Mundane Games
Mundane Games
Daily word & logic puzzles
Free
🎮 Games
(0)
16
Aptitude And Logical Reasoning
Aptitude And Logical Reasoning
Aptitude And Logical Reasoning
by Steigern Tech LLP
Free
📚 Education
(0)
17
LuXOR - A logic game
LuXOR - A logic game
LuXOR - A logic game
by BluMonkey Software, LLC
Free
🎮 Games
(0)
18
LogicFork
LogicFork
LogicFork
by Tam Dang Duc
Free
📚 Education
(0)
19
Logic Numbers
Logic Numbers
Logic Numbers
An intelligence teaser
Free
🎮 Games
(0)
20
Daycartes
Daycartes
Daycartes
Your daily Logic & Reason Gym
Free
📚 Education
(0)

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 August 2026, with a 4.5-star average from 8 App Store ratings, and it's free to download.
Yes — 20 of the top formal logic apps & games we rank are free to download, including Symbols: Learn Logic and Predicate Logic Foundations.
Symbols: Learn Logic has no ads and offers in-app purchases, according to its App Store listing as of August 2026.
We track 248+ formal logic apps & games on the iOS App Store as of August 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.