In Boolean operator fuzzy logic, the generalized lock resolution is generalized complete if the same predicate symbols Rave the same index.

• 在布尔算子模糊逻辑中 ；当相同谓词符号配相同锁时 ；广义锁归结方法是广义完备的 .