由“s必然是p为真”，可推出的结论有（）。

以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。 以（1）p∨q∨﹁r、（2）(p∨q)→(s∧﹁q)、（3）r为前提推出结论p∧r，所用的推理形式有 由“S必然是P”为真，可以推知“S可能是P”为（），“S可能不是P”为（）。 根据模态逻辑方阵进行模态推理，由“必然SOP”能推出结论()。 以“必然P”为前提，可必然推出 以“必然P”为前提，可必然地推出（）、（）、（） 由一般推出特殊的推理方式，表现为由己知的前提必然地推出结论的思维方式是 （） 以下各栏为前提，可必然推出结论SOP的是（）。 以下各栏为前提,可必然推出结论SOP的是()() 根据模态逻辑方阵进行模态推理，如果推出的结论是“火星必然有天然卫星”，则前提必然是()。 从资料中可以推出的结论是（）。 从资料中不能推出的结论是（）。 根据模态逻辑方阵进行模态推理，由“必然有的学生是大学生”，推出的结论是()。 以 “如果 p 那么 q ”和“并非 (q 并且非 r) ”为前提进行演绎推理，能必然推出的结论是 已知“必然p”为真，那么可以推出（） 以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。 由p∧q真能推出p∨q（），由p∨﹁q假能推出﹁p∧q（）。 以下结论中从材料中无法推出的—项是（）。 以“所有P是M”、“所有S不是M”为大小前提，进行三段论推理，可必然推出（）。 由“犯罪必然违法”可以推出