論理学

論理学の孤独な散歩道 散歩者の独り言―「孤独な」というのは「ロンリー」という意味ですか。ルソーの自叙伝のタイトルを踏まえている？ 説明が少ないのは、まあ、自分の頭を使えということですね、ロンリーですからね。 論理学で使う記号はパソコンで出しにくいが、Windowsなら、「きごう」と入力すると、ずらずらと多くの記号が出るので、使うものを辞書に登録しておけばよいでしょう。 でも、出ない記号も少なくない。（断定記号（「┠」「|-」みたいなやつ）は矢印（→と⇒）で代用。） 命題論理 （真理関数の理論） 命題論理は、命題（文）を単位として、その論理的関係を分析する。 命題（proposition）とは、真か偽かのどちらか（真理値）を決定しうる文をいう。 否定子と接続詞を含まない単文を、要素命題と呼ぶ。要素命題が組み合わさって複合命題ができる。 要素命題の値が決まれば、全体の値が一意的に決まる複合命題

[masa8aurum]

論理学。あとで読んでみる

[oppekepei]

証明体系 健全性 完全性

[mobiuss]

記号論理学