論理学ドリル -命題論理・自然演繹・真理値トレーニング-
命題論理・真理値表・自然演繹
iPhoneのみ対応
無料 · アプリ内購入 · iPhoneに対応しています。macOSでは検証されていません。
iPhone
論理学ドリルは、論理記号を初めて学ぶところから、自然演繹や述語論理までを順番に練習できる学習アプリです。
9章のテキストと10ユニットのドリルを用意しています。各ユニットは「よむ」「みわける」「えらぶ」「つなぐ」「くみたてる」の段階に沿って進みます。翻訳や誤謬のように、その内容に合わない段階は設けません。
■ 学べる内容
・論理結合子と真理値表
・恒真式、矛盾式、論証の妥当性
・自然演繹（∧、→、∨、否定、背理法）
・述語論理（∀、∃）
・日本語を論理式に直す練習
・形式的誤推論と非形式的誤謬
・シークエント計算（Γ ⊢ Δ）
■ 取り組みやすい仕組み
・「かつ」「または」「でない」などの日常語から記号の意味を学べる
・真理値表を作る計算機で、入力した式をその場で確かめられる
・日本語→論理式の答えは、文字の並びではなく論理的に同じ意味かで判定
・妥当でない論証では、前提が成り立って結論だけが成り立たない反例を確認できる
・進捗は端末内に保存。アカウント登録は不要
本アプリでは画面下部にバナー広告を表示します。初回のテスト配布ではGoogleのテスト広告を使用します。リワード広告、プレミアム課金、AIによる解説機能は提供していません。
評価とレビュー
- このアプリは、概要を表示するには評価件数やレビュー件数が不十分です。
軽微な修正を行いました。
デベロッパである“Mikoto Gateway”は、アプリのプライバシー慣行に、以下のデータの取り扱いが含まれる可能性があることを示しました。詳しくは、 デベロッパプライバシーポリシー を参照してください。
ユーザのトラッキングに使用されるデータ
次のデータは、他社のアプリやWebサイト間でユーザをトラッキングする目的で使用される場合があります。
- ID
ユーザに関連付けられないデータ
次のデータは収集される場合がありますが、ユーザの識別情報には関連付けられません。
- 購入
- ID
- 診断
アクセシビリティ
デベロッパは、このアプリがサポートしているアクセシビリティ機能をまだ示していません。 詳しい情報
情報
- 販売元
- Mikoto Gateway
- サイズ
- 12.2 MB
- カテゴリ
- 教育
- 互換性
iOS 15.0以降が必要です。
- iPhone
iOS 15.0以降が必要です。 - iPod touch
iOS 15.0以降が必要です。 - Mac
macOS 12.0以降とApple M1以降のチップを搭載したMacが必要です。 - Apple Vision
visionOS 1.0以降が必要です。
- iPhone
- 言語
- 日本語
- 年齢制限
4+
- 4+
- 含む
広告
- アプリ内購入
あり
- 広告非表示プレミアム ¥250
- 著作権
- © 2026 Mikoto Gateway