恒真式 は 、、 どのような 値 を 代入 して も 常に 真 と なる 論理式 の こと を 指し ます 。

この 恒河沙 の ような 砂漠 は 、 その 起源 と 意味 に 深い 哲学 を 秘めています 。