多项选择题
逻辑模块的性能主要体现在以下几个方面（）
A.完备性B.一致性C.可拓展性D.实用性和可衔接性
单项选择题 以下不是逻辑模型正确性的验证方法的是（）
单项选择题 UC矩阵的正确建立不需要通过的验证是（）
单项选择题 处理逻辑的表达工具不含（）
