「ソクラテスは人間である」「すべての人間は死ぬ」という命題から「ソクラテスは死ぬ」という命題を導くような推進法則を研究することを論理学といいます。このような論理を記号を用いて研究することを記号論理学といいます。記号論理学では、数学的な方法を利用するので、数理論理学ともいいます。
数理論理学は、取り扱う範囲の観点から命題論理、述語論理、様相論理に区分できます。
- 命題論理
- 「１時間以上勉強する」という命題をＡ、「眠くなる」という命題をＢというように、命題を記号で表現します。
このとき、「１時間以上勉強する」ことと、「眠くなる」ことが共に成立する（真である）ことを Ａ∧Ｂ（論理積）、「１時間以上勉強すると、眠くなる」ことを Ａ⇒Ｂ（含意）と表わします。これを論理式といい、論理式の真・偽を計算したり、複雑な論理式を単純な論理式にすることを論理計算といいます。
￢Ａ 否定 （Ａでない）
Ａ∧Ｂ 論理積 （ＡかつＢ）
Ａ∨Ｂ 論理和 （ＡまたはＢ）
Ａ→Ｂ（Ａ⇒Ｂ、Ａ IMP ） 含意・内包 （ＡならばＢ）
Ａ⇔Ｂ（Ａ EQV Ｂ）同値 （ＡとＢは同値）
- 述語論理
- 述語論理は、命題論理の拡張と考えられます。
- 例えば、ｘ＝｛１、２、…、ｎ｝という値を表す項と、それを２倍するという述語記号ｆを導入して ｆ(Ｘ) とすれば、「Ｘが自然数である」が真であるとき、「ｆ(ｘ) は偶数である」は真であるというような論理を扱います。
- そして、「ｙが偶数である」ことを真とする述語記号をｐとして、「ｐ(ｆ(ｘ)) が真である」と表現します。
- さらに、「すべての自然数ｘについて、ｐ(ｆ(ｘ)) が真である」という命題を、全体を表す論理記号∀を用いて「∀x，ｐ(ｆ(ｘ)) (ｘは自然数)」と表記します。
- 存在を表すには論理記号∃があります。「すべての自然数ｘのなかには、少なくとも１個以上の偶数が存在する」という命題は「∃ｘ，ｐ(ｘ) (ｘは自然数)」と表記します。
- 様相論理
- 様相論理では、論理式から論理式を導き出す推論規則を展開したものです。含意（→）や同値（⇔）が主要な記号になります。
- 「ソクラテス」をＰ、「人間である」をＱ、「死ぬ」をＲとすれば、「ソクラテスは人間である」はＰ→Ｑ、「すべての人間は死ぬ」は、Ｑ→Ｒと表記します。
- 「ソクラテスは死ぬ」という三段論法の結論を導くのは、Ｐ→Ｑ、Ｑ→ＲからＰ→Ｒを計算することだといえます。
- 一般化して厳密に表記するならば、「どんなｘを取っても、Ｐ→Ｑ、かつ、Ｑ→Ｒが成り立つとき、Ｐ→Ｒが成立する」ことは、
∀ｘ {(Ｐ(ｘ) → Ｑ(ｘ)) ∧ (Ｑ(ｘ) → Ｒ(ｘ))} ⇒ Ｐ(ｘ) → Ｒ(ｘ)
となります。
様相論理では、記号化した命題を、このような推論規則の公式を用いて論理を進めます。
また、数理論理学は研究する分野から意味論と証明論に区分されます。
- 意味論
- 論理式で記述される命題の「意味」を、何らかの数学的対象に変換することを重視した研究する分野です。
- 証明論
- 記号化された命題をいかに解くかを重視した研究分野です。
補足
- 「同値」について
- 二つの命題が同値であるとは、例えば「Ｐ：数学ができる」⇔「Ｑ：頭が良い」は、「数学ができる人は頭が良い」という命題と同じだという意味です（実社会でこれが真か偽か不明ですが真としておきます）。
「同値」のときは、ＰとＱを入れ替えても同じです。
Ｐ Ｑ Ｐ⇔Ｑ
１ 真 真 真（数学ができる人は頭が良い、頭が良い人は数学ができる）
２ 真 偽 偽（数学ができる人は頭が悪い、頭が悪い人は数学ができる）
３ 偽 真 偽（数学ができない人は頭が良い、頭の良い人は数学ができる）
４ 偽 偽 真（数学ができない人は頭が悪い、頭の悪い人は数学ができない－１の対偶）
- 「含意」について
- 「ＰならばＱである」を「Ｐ→Ｑ」と表現します。そして、Ｐを前提、Ｑを結論といいます。
同値と異なるのは、前提→結論の順序であり、結論→前提にはならないという点にあります。
例えば、Ｐを「あの人は数学ができる（Ｐ）。だから、あの人は頭が良い（Ｑ）」の命題が真であるとします。
Ｐ Ｑ Ｐ→Ｑ
１ 真 真 真（あの人は数学ができる。だから、あの人は頭が良い）
２ 真 偽 偽（あの人は数学ができる。だから、あの人は頭が悪い）
３ 偽 真 真（あの人は数学ができない。だから、あの人は頭が良い）
４ 偽 偽 真（あの人は数学ができない。だから、あの人は頭が悪い）
ここで３が気になります。しかし、含意の場合は、「数学ができれば頭が良い」といっているだけで、「頭が良いのは数学ができることだ」とはいっていない（結論→前提ではない）のです。数学ができなくても頭の良い人がいることもあります。「前提が崩れている場合は、どのような結論も正しいといえる」ので、３と４が真になるのです。
- 論理演算の演算記号
- 論理演算は確率論でも重要な分野で、論理積や論理和など数理論理学と同じような概念をもっています。集合論でも和集合や積集合の概念があります。学問の分野により、用いる記号が異なります。
数理論理学 確率論 集合論
否定 ￢Ａ Ａ Ａc
論理和 Ａ∨Ｂ Ａ＋Ｂ Ａ∪Ｂ
論理積 Ａ∧Ｂ Ａ×Ｂ Ａ∩Ｂ
しかし、ベン図や真理値表など、計算方法はどれも同じですので、あまり気にしなくてもよいでしょう。
確率論での記号に関しては「論理演算」（stat-ronri-enzan）、
集合論での記号については「集合の基礎」（hs-syugou）を参照してください。