在布尔算子Ｆｕｚｚｙ逻辑中证明了任意公式Ｇ是λ－恒假的，当且仅当Ｇ所对应的子句集Ｓ是λ－恒假的。进而有子句集Ｓ是λ－恒假的，当且仅当Ｓ在其所有Ｈｅｒｂｒａｎｄ解释下是......