由“任务必然完成”可推出（）。

由SAP真，可推出（）真。

单选题查看答案

通过综合运用换质法和换位法，由SIP可推出（）。

单选题查看答案

应用对当关系的直接推理，由SIP之真可推出（）。

单选题查看答案

根据模态对当关系，由“某甲必然是杀人犯”真，可推出“某甲可能是杀人犯（），某甲必然不是杀人犯（）。”

填空题查看答案

由SEP可以推出（）.

多选题查看答案

由SAP可以推出（）。

多选题查看答案

依据逻辑方阵，由SAP推出的结论是（）。

单选题查看答案

由p∧q真能推出p∨q（），由p∨﹁q假能推出﹁p∧q（）。

填空题查看答案

高层信念是指必须由基本信念推出的信念。

判断题查看答案