Logic Drill - Truth Tables

Logic Drill takes you from your first logical symbols through natural deduction and predicate logic, one step at a time.

The app has 9 chapters of text and 10 drill units. Each unit works through a set of stages — read, tell apart, choose, connect, build — skipping any stage that doesn't fit the content (translation and fallacy units, for example, don't need all five).

■ What you'll learn

• Logical connectives and truth tables
• Tautologies, contradictions, and the validity of an argument
• Natural deduction (∧, →, ∨, negation, reductio ad absurdum)
• Predicate logic (∀, ∃)
• Translating everyday sentences into logical formulas
• Formal and informal fallacies
• Sequent calculus (Γ ⊢ Δ)

■ Designed to be easy to work through

• Learn what the symbols mean starting from everyday words like "and," "or," and "not"
• A built-in truth table calculator checks any formula you enter, instantly
• Translation answers are checked for logical equivalence, not just matching text
• For invalid arguments, you can see a counterexample where the premises hold but the conclusion doesn't
• Progress is saved on your device — no account needed

The app shows a banner ad at the bottom of the screen. A one-time in-app purchase removes ads. There's no reward-ad tier, no subscription, and no AI explanation feature.