根据模态逻辑方阵进行模态推理，由“必然SOP”能推出结论()。

模态命题亦称“模态判断”，由“必然”和“可能”两个最基本的模态词引导，在通常情况下，人们所说的模态命题多指包含“必然”或“可能”这两个模态词的狭义模态命题：必然命题或可能命题。根据上述定义，下列描述中不属于模态命题的是： 前提含有模态词“可能”的模态三段论，无论另一前提是哪种模态词，其结论的模态词应是（）。 表示推理状态的模态词包括（）。 逻辑学的创始人是古希腊的亚里士多德，他的主要理论贡献有三段论逻辑、模态逻辑等。 以“p”和“r∨～q∨～p”为前提进行推理，能必然推出的结论是（）。 以下各栏为前提，可必然推出结论SOP的是（）。 以下各栏为前提,可必然推出结论SOP的是()() 根据规范模态判断之间的对当关系，从“必须P”可以推出（）、（）、（） 根据前提和结论之间的逻辑联系，可以把推理分为必然性推理和_________。 前提虚假可能不是正确的推理，所以，前提虚假必然不是正确的推理。指出上述模态推理的类型，并说明其是否有效，为什么？ 根据真值模态对当关系，从“手术可能不会成功”可推出（） 指令有模态和非模态之分，F、S指令都是模态指令 根据前提和结论之间的逻辑联系，可以把推理划分为必然性推理和_______。 由并非SAP可推出SOP,其根据是逻方阵中的 以 “如果 p 那么 q ”和“并非 (q 并且非 r) ”为前提进行演绎推理，能必然推出的结论是 中学生必然要考大学（假）。根据模态命题间的对当关系，指出与上述命题同素材的其他三个模态命题的真假。 ()代码可以分为模态和非模态代码。 据模态判断对当关系，由"某甲必然是案犯"真，可推出"某甲可能是案犯"（），"某甲必然不是案犯"（），"某甲可能不是案犯"（） 据模态判断对当关系，由"某甲必然是案犯"真，可推出"某甲可能是案犯"（），"某甲必然不是案犯" （），"某甲可能不是案犯"（）。 这场斗争是必然要来的。指出上述模态命题的种类。