A任务不可能不完成
B任务不必然完成
C并非任务不必然完成
D并非任务可能完成
E任务可能没完成
（单选题）
由SAP真，可推出（）真。
答案解析
通过综合运用换质法和换位法，由SIP可推出（）。
应用对当关系的直接推理，由SIP之真可推出（）。
（填空题）
根据模态对当关系，由“某甲必然是杀人犯”真，可推出“某甲可能是杀人犯（），某甲必然不是杀人犯（）。”
（多选题）
由SEP可以推出（）.
由SAP可以推出（）。
依据逻辑方阵，由SAP推出的结论是（）。
由p∧q真能推出p∨q（），由p∨﹁q假能推出﹁p∧q（）。
（判断题）
高层信念是指必须由基本信念推出的信念。
