下载APP
【简答题】
若S={P（x）∨Q（f（x）），┐P（a）， ┐Q（y）}，请画出与该子句集对应的语义树，为什么可以用封闭语义树来判定子句集的不可满足性？
参考答案：
参考解析：
刷刷题刷刷变学霸
举一反三
【单选题】下面If语句统计满足性别为男、职称为副教授以上、年龄小于40岁条件的人数，不正语句是（）。
A.
If sex="男"And age＜40 And （duty="教授"Or duty="副教授"）Then n=n+1
B.
If sex="男"And age＜40 And InStr（duty，"教授"）＞0Then n=n+1
C.
If sex="男"And age＜40 And Right（duty，2）="教授"Then n=n+1
D.
If sex="男"And age＜40 And duty="教授"And duty="副教授"Then n=n+1
【单选题】如图所示，f1（x），f2（x），f3（x），f4（x）是定义在[0，1]上的四个函数，其中满足性质：“对 [0，1]中任意的x1和x2，恒成立”的只有
A.
f1（x），f3（x）
B.
f2（x）
C.
f2（x），f3（x）
D.
f4（x）
【单选题】当装配一台机器或部件时，只要在一批相同规格的零件中任取一件装配到机器或部件上，不需修配加工就能满足性能要求，这种性能叫做零件（）。
A.
装配性
B.
通用性
C.
互换性