論理式には、データの内容を比較する関係式や、条件を満たすかどうかを判断する述語関数を指定できます。論理演算子“AND”、“OR”、または“NOT”を使用して、複数の条件の組合せを表現できます。
論理式の定義を以下の図に示します。
図3.64 論理式の定義
参照
論理演算子については、“3.1.8 論理演算子”を参照してください。
関係式については、“3.8.4 関係式”を参照してください。
述語関数については、“3.8.5 述語関数”を参照してください。