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

命題論理・述語論理を教科書の順に、段階を追って練習できる論理学ドリルです。自然演繹の演習では規則を1つ選ぶと今使える式が全部表示され、詰まったら「つぎの一手」だけを教えてくれます。誤った推論には具体的な反例が示され、なぜ間違いなのかが目で確かめられます。