比較対象の2つの
| オペランド1 | 演算子 | オペランド2 | 意味 | ||||
| すべて | 節集合 | ∃オペランド1の節, ∃オペランド2の節 s.t. 比較 ( | 節集合 | すべて | ∃節集合の節 s.t. 比較 ( | ||
| 節集合 | すべて | ∃節集合の節 s.t. 比較 (文字列値 (節集合の節), 文字列) が真 | |||||
| 節集合 | すべて | ∃節集合の節 s.t. 比較 ( | |||||
| 真偽値 | =, != | 節集合以外 | 比較 (真偽値, boolean (もう一方)) | ||||
| 数値 | =, != | 節集合・真偽値以外 | 比較 (数値, number (もう一方)) | ||||
| 節集合・真偽値・数値以外 | =, != | 節集合・真偽値・数値以外 | 比較 (string (値2)) | ||||
| 数値 | =, != | 数値 | |||||
| 真偽値 | =, != | 真偽値 | 同じ? | ||||
| 文字列 | =, != | 文字列 | 同じ | ||||
| 節集合以外 | <, >, <=, >= | 節集合以外 | IEEE 754 的に比較 (number (値1), number (値2)) |
節集合の比較は、その要素の節が1つでも等しければ等しいとか何とかそんな風になります。 ∀じゃなくて∃です。