量词的辖域不同

回复 一起看夕阳♂ :在一个表达式中，紧靠量词之后如果有括号，则括号内的表达式是该量词的辖域，括号外的则不是；如果没有括号，紧靠量词的不包含联接词的表达式是该量词的辖域，其它的则不是。
在第一个式子中，量词后边的括号一直到红线的结尾处，所以量词的辖域是（Fx∧Dy）.；在第二个式子中量词后边的括号一直到这条红线的结尾处，量词的辖域是（（Fx∧Dy）→B（x，y））。