布尔值断言