6.2 条件判断(論理式)

関係演算子、論理演算子は C 言語のそれに良く似ている:
a == b 等しいか?
a != b 等しくないか?
a < b ab より小さいか?
a > b ab より大きいか?
a <= b ab より小さいか、等しい?
a >= b ab より大きいか?
&& 「かつ」.
|| 「または」.
! 「否定」.
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 言語風ではない。



桂田 祐史