論理と形式的推論を学ぶ

学習ガイドから始めてください。五十音順ではなく学習の道筋として並んでおり、一覧では各ガイドのステップ番号と前提となる水準が示されます。すでにどれくらい論理を知っているかをサイトに伝えると、出発点がその水準の最初のガイドに移ります。それより前のガイドは背景知識として一覧に残ります。

読むのがどれだけ難しいかではなく、そのガイドがどれだけの予備知識を前提にしているかを表します。学習の道筋はこれらの水準を逆戻りしないので、自分の水準を選べば、出発点から前へ読み進めるだけで、飛ばしたガイドに依存する内容に出くわすことはありません。

はい、このブラウザの中で覚えています。ガイドを既読にすると、一覧の進捗数と各ガイド末尾の「次に読むもの」の提案が更新され、そのガイドより後で未読の最初のガイドが示されます。どこにも送信されず、サイトデータを消去すればリセットされます。

記法が見て分かる程度までガイドを読み、それから練習しましょう。演習はガイドが扱うのと同じ主題ごとにまとまっているので、ガイドを一つ読み、その分野の演習に進み、答えがすらすら出るようになったら次のガイドへ、というのが自然な流れです。

命題論理は論理演算子を用いた命題どうしの関係に注目します。一方ブール代数は、二値（真/偽 あるいは 1/0）を扱う数学的構造です。この計算機は両方に対応しており、どちらも似た演算子を使います。