6.2 条件判断(論理式)

関係演算子、論理演算子は C 言語のそれに良く似ている:

a == b	等しいか？
a != b	等しくないか？
a < b	a は b より小さいか？
a > b	a は b より大きいか？
a <= b	a は b より小さいか、等しい？
a >= b	a は b より大きいか？
&&	「かつ」.
||	「または」.
!	「否定」.
Positive[]	正かどうか
Negative[]	負かどうか

論理式の値は、False = 偽, True= 真, である。 次の例を試してみること。

1+1 == 2
2^3 == 7
1 < 2 < 3	(こういう3数の比較が出来るプログラミング言語は珍しい)
2 != 3
LogicalExpand[(p || q) && !(r || s)]
Remove[p,q,r,s]

実はx1<x2<x3 のような式は、 普通の数学に現れる式 $x_1<x_2$ かつ $x_2<x_3$ という意味に解釈されるので、 本当は C 言語風ではない。