数学的論理学。を知る為の重要なポイントは何ですか?
数学の論理学を知るための重要なポイントは以下の通りです。
命題とは、真偽がはっきりと決まる文句のことです。たとえば、「1+1は2である」という文句は命題です。
論理演算子とは、複数の命題を組み合わせて新しい命題を作るために使われる記号です。たとえば、「AかつB」を表すには「∧」、 「AまたはB」を表すには「∨」、 「Aではない(否定)」を表すには「¬」といった論理演算子があります。
論理式とは、命題と論理演算子を組み合わせた式のことです。たとえば、「A∧B」という論理式は、「AかつB」を表します。
「真理値表」とは、ある論理式において、各々の命題が真か偽かに応じて、その式の真偽を表した表のことです。たとえば、「A∨B」という論理式の真理値表は、以下のようになります。
A | B | A∨B |
---|---|---|
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 1 |
- 「同値」とは、2つの論理式が、どちらも同じ真偽の値を持つことを表します。たとえば、「A∨B」と「B∨A」は同値です。
中学1年生に分かりやすく説明するために、以下のような例を挙げます。
【例】
A: 今日は雨が降っている。 B: 明日は晴れる。
「AかつB」という論理式を考えると、「今日は雨が降っていて、かつ明日は晴れる」という意味になります。
「AまたはB」という論理式を考えると、「今日は雨が降っている、または明日は晴れる」という意味になります。
「A∧B」という論理式の真理値表は以下のようになります。
A | B | A∧B |
---|---|---|
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
- 「A∨B」という論理式の真理値表は以下のようになります。
A | B | A∨B |
---|---|---|
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 1 |
- 「A∨B」と「B∨A」は同値です。つまり、「今日は雨が降っている、または明日は晴れる」と「明日は晴れる、または今日は雨が降っている」という意味は同じです。