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

論理学ドリルは、論理記号を初めて学ぶところから、自然演繹や述語論理までを順番に練習できる学習アプリです。

9章のテキストと10ユニットのドリルを用意しています。各ユニットは「よむ」「みわける」「えらぶ」「つなぐ」「くみたてる」の段階に沿って進みます。翻訳や誤謬のように、その内容に合わない段階は設けません。

■ 学べる内容 ・論理結合子と真理値表 ・恒真式、矛盾式、論証の妥当性 ・自然演繹（∧、→、∨、否定、背理法） ・述語論理（∀、∃） ・日本語を論理式に直す練習 ・形式的誤推論と非形式的誤謬 ・シークエント計算（Γ ⊢ Δ）

■ 取り組みやすい仕組み ・「かつ」「または」「でない」などの日常語から記号の意味を学べる ・真理値表を作る計算機で、入力した式をその場で確かめられる ・日本語→論理式の答えは、文字の並びではなく論理的に同じ意味かで判定 ・妥当でない論証では、前提が成り立って結論だけが成り立たない反例を確認できる ・進捗は端末内に保存。アカウント登録は不要

本アプリでは画面下部にバナー広告を表示します。初回のテスト配布ではGoogleのテスト広告を使用します。リワード広告、プレミアム課金、AIによる解説機能は提供していません。