論理学ドリル -命題論理・自然演繹・真理値トレーニング-
Truth Tables & Deduction
Only for iPhone
Free · In‑App Purchases · Designed for iPhone. Not verified for macOS.
iPhone
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.
Ratings & Reviews
- This app hasn’t received enough ratings or reviews to display an overview.
Fixed counterexample questions so that all correct truth-value assignments are accepted.
The developer, Mikoto Gateway, indicated that the app’s privacy practices may include handling of data as described below. For more information, see the developer’s privacy policy .
Data Used to Track You
The following data may be used to track you across apps and websites owned by other companies:
- Identifiers
Data Not Linked to You
The following data may be collected but it is not linked to your identity:
- Purchases
- Identifiers
- Diagnostics
Accessibility
The developer has not yet indicated which accessibility features this app supports. Learn More
Information
- Seller
- Mikoto Gateway
- Size
- 12.4 MB
- Category
- Education
- Compatibility
Requires iOS 15.0 or later.
- iPhone
Requires iOS 15.0 or later. - iPod touch
Requires iOS 15.0 or later. - Mac
Requires macOS 12.0 or later and a Mac with Apple M1 chip or later. - Apple Vision
Requires visionOS 1.0 or later.
- iPhone
- Languages
- Japanese
- Age Rating
4+
- 4+
- Contains
Advertising
- In-App Purchases
Yes
- 広告非表示プレミアム $1.99
- Copyright
- © 2026 Mikoto Gateway