論理学ドリル -命題論理・自然演繹・真理値トレーニング-
iOS app by Mikoto Gateway. Education · Mikoto Gateway
- Store rating
- 0 / 5
- Store rating count
- 0
- Download price
- Free to download
- In-app purchases
- Unknown
- Version
- 1.0.2
- Listing last refreshed
- 2026-09-12
View the original store listing
Store description excerpt
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.
Review coverage
AppRill has captured 0 reviews for this app. This is a collected sample, separate from the store rating count. Latest review capture: Not captured yet.
Recent captured chart positions
No chart positions have been captured for this app yet.
Chart position, rating count and review coverage do not establish downloads, revenue or profit. Understand the differences.