4.　論理演算の約束を覚える

4.2　論理演算の基礎知識

　数式を「論理を持った文」として扱うことを、ここでは考えます。例として、単純な数式として、「Ｙ＝ＡＸ＋Ｂ」と表記されているときの意味を考えることにします。これには、次のような種類の解釈があります。

Ｙは、ＡＸ＋Ｂで計算できると解釈する。ここで、Ｘは独立変数、Ｙは従属変数と言います。
Ｙは、ＡＸ＋Ｂと同値であると解釈します（等式の意味）。
ＡＸ＋Ｂだけを取り出すときは、単純に一次式と言います。
Ｙ＝ＡＸ＋Ｂが、どのような条件のときに成り立つかを問題にするとき一次方程式と言います。このときのイコール記号は関係演算子です。
一次方程式を解くというのはＹの値を与えてＸの値を求めることを指します。
直線のグラフを描くときに利用します（Ａは直線の勾配、Ｂは直線がＹ軸と交わるときの座標）。
ＡＸ＋Ｂを計算してＹに代入する（プログラミング言語では代入文です）。
if()の入れ子に式全体を使うときは、論理値のtrue、またはfalseを計算します。
「Ｙ＝ＡＸ＋Ｂ」とイコール記号＝を挟んで、左右が同値であるかないかの論理値を調べるとします。
この全体が論理式であることを区別するとき、同値記号「≡」に換えることもあります。
Ｃ言語では等しいを意味する関係演算子は「＝＝」と並べて書きます。