# 論理学ドリル -命題論理・自然演繹・真理値トレーニング- — Truth Tables & Deduction

> Truth Tables & Deduction (iPhone/iPad app by Mikoto Gateway.)

- Source: https://appshunter.io/ios/app/id6799666938 (this page in markdown: same URL + `.md`)
- Developer: [Mikoto Gateway](https://appshunter.io/developer/6795057863)
- Category: Education
- Price: Free with in-app purchases
- Age rating: 4+
- Requires: iOS 15.0 · 12 MB
- Languages: Japanese
- Released: 2026-08-17
- Data updated: 2026-09-17
- User reviews in markdown: https://appshunter.io/ios/app/id6799666938/reviews.md

## What is 論理学ドリル?

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.

## Pricing and in-app purchases

Base price: Free.

**One-time purchases**

| Purchase | Price | Type |
| --- | --- | --- |
| 広告非表示プレミアム | $1.99 | one-time |



## Version history (last 4 releases)

### 1.0.3 — 2026-09-16

Fixed counterexample questions so that all correct truth-value assignments are accepted.

### 1.0.2 — 2026-09-05

Added multi-language support (English, Chinese, German, Korean).

### 1.0.1 — 2026-08-19

軽微な修正を行いました。

### 1.0 — 2026-08-17

No release notes.

## More apps by Mikoto Gateway

- [QRメーカー -簡単に可愛いQRコードを作成-](https://appshunter.io/ios/app/qr-qr/id6795057531)
- [かんたん画像圧縮 -写真リサイズ・軽量化-](https://appshunter.io/ios/app/id6795176918)
- [かんたん背景透過](https://appshunter.io/ios/app/id6795215863)
- [RandomPick - Dice & Roulette](https://appshunter.io/ios/app/randompick-dice-and-roulette/id6795229319)
- [Unit Converter & Dictionary](https://appshunter.io/ios/app/unit-converter-and-dictionary/id6795361946)
- [Photo Deco - Stickers & Frames](https://appshunter.io/ios/app/photo-deco-stickers-and-frames/id6795408075)

All apps by Mikoto Gateway: https://appshunter.io/developer/6795057863

---

*Data collected daily from the US App Store and indexed by [AppsHunter](https://appshunter.io/). User reviews are verbatim App Store reviews. Ratings, prices and chart positions refresh continuously; this snapshot is from 2026-09-17.*