辖域，数理逻辑术语，指逻辑运算子的作用范围。辖域((scope)数理逻辑术语.指逻辑运算子的作用范围.辖域的定义如下:1一元运算子.如"}" }"(Vx)","(3x)"的辖域是紧跟其后的一对括号元内的部分.2.二元运算子.如"一"，"乙"，"V"的辖域是左右两个表达式.它们的右辖域是与其紧相邻的左面一对括号内的部分，它们的右辖域是与其紧相邻的右面一对括号内的部分.例如，公式}((x}0)&(y=1))中"门"的辖域是(二>0)&(y=1)，而"&"的辖域有两个 ，左辖域是 x}0，右辖域为y=1.