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

> Truth Tables & Deduction

Canonical page: [https://chrome-stats.com/d/id6799666938](https://chrome-stats.com/d/id6799666938)

## Overview

- **ID:** `id6799666938`
- **Platform:** Apple
- **Type:** Apple app
- **Status:** Available
- **Publisher:** Mikoto Gateway
- **Category:** Education
- **Version:** 1.0.3
- **Last updated:** 2026-09-16
- **First published:** 2026-08-17
- **Size:** 12 MB
- **Data as of:** 2026-09-26
- **Store listing:** [Apple App Store](https://apps.apple.com/us/app/%E8%AB%96%E7%90%86%E5%AD%A6%E3%83%89%E3%83%AA%E3%83%AB-%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86-%E8%87%AA%E7%84%B6%E6%BC%94%E7%B9%B9-%E7%9C%9F%E7%90%86%E5%80%A4%E3%83%88%E3%83%AC%E3%83%BC%E3%83%8B%E3%83%B3%E3%82%B0/id6799666938)
- **Website:** [https://mikoto-gateway.com](https://mikoto-gateway.com/)
- **Privacy policy:** [https://gist.github.com/sato0825/97bc131c173fe36a3e353b764046eb84](https://gist.github.com/sato0825/97bc131c173fe36a3e353b764046eb84)

## Description

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.

## Rankings

- #1,569,066 — Overall

## Similar extensions and apps

- [形で覚える英文法ドリル 分散学習](https://chrome-stats.com/d/id6784669321)
- [小学5年生ドリル 国算理社英](https://chrome-stats.com/d/id6772623009)
- [ドリルますたー](https://chrome-stats.com/d/id6766773351)
- [類対ドリル 類義語・対義語クイズ](https://chrome-stats.com/d/id6787418779) — 4.00 / 5
- [構造化ドリル](https://chrome-stats.com/d/id6784906502) — 3.00 / 5
- [G検定ドリル](https://chrome-stats.com/d/id6785392873)
- [Logicky](https://chrome-stats.com/d/id6791989290)
- [小学生ドリル放題 - 手書き漢字ドリルなどの勉強アプリ](https://chrome-stats.com/d/id492090392) — 5.00 / 5
- [小学生 国語ドリル](https://chrome-stats.com/d/id6470270828) — 4.60 / 5
- [ロジックサーキット-LogicCircuit](https://chrome-stats.com/d/id6797250245)
- [タッチドリル 小学１年算数](https://chrome-stats.com/d/id1280320851)
- [ロンリの泉！](https://chrome-stats.com/d/id6754527133) — 4.50 / 5

---

Source: [Chrome-Stats](https://chrome-stats.com/d/id6799666938)