命題論理

カリキュラムで命題論理学の基礎を取り扱う時期になって、桜井はこのテーマならエレクトロニクスに対する松本の興味と数学の授業への関心を結びつけてくれるのではないかと考えた。

コンピューターの論理回路は、命題論理学の演算をエレクトロニクスの素子によって実行させたものである。

ならばコンピューターをきっかけとすれば、松本は学校の命題論理学の授業に興味を持つのではないか。

命題論理の基礎を理解することは、プログラミングの条件分岐を学ぶ上でも役立つ。

彼はベン図を使って、命題論理における包含関係を分かりやすく説明した。

記号論理学の第一歩として、まずは命題論理の真理値表から勉強し始めた。