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