试论逻辑词的辖域问题

从现代逻辑的角度看,逻辑词就是进行逻辑演算或操作的运算子(简称算子)或操作子(operator),或者说是一类特殊的函子(functor)。逻辑运算或操作总是有运算对象或操作对象的,总是由运算子或操作子作用于变元上进行的。这就产生了逻辑词的作用域或辖域问题。一般地讲,一个逻辑词的辖域,就是该逻辑词支配或作用、管辖或约束的语言表达式。从现代逻辑的角度讲,在一个公式中。