以下是K闭合逻辑中需要检测的条件的是（）。