根据模态逻辑方阵进行模态推理，如果推出的结论是“火星必然有天然卫星”，则前提必然是()。

表示推理状态的模态词包括（）。 以 “如果 p 那么 q ”和“并非 (q 并且非 r) ”为前提进行演绎推理，能必然推出的结论是 以“p”和“r∨～q∨～p”为前提进行推理，能必然推出的结论是（）。 根据真值模态推理，“某甲必然是凶手”为真，则（）为假，（）为真，（）为假。 以“联言判断是复合判断”为前提进行对当关系推理，推出的结论是（）、（）、（） 按推理过程中推出的结论是否单调地增加，或推出的结论是否越来越接近目标分类，可分为单调推理和非单调推理。() 根据规范模态判断之间的对当关系，从“必须P”可以推出（）、（）、（） 以“如果甲队战胜乙队，那么，甲队获得冠军”为前提，进行假言三段论推理，可以推出的结论是和 根据真值模态对当关系，从“手术可能不会成功”可推出（） 指令有模态和非模态之分，F、S指令都是模态指令 以“联言判断是复合判断”为前提进行对当关系直接推理，推出的结论是（）。 以“凡正确的推理都是前提和推理形式都正确的推理”这个命题作前提进行演绎推理，不能必然推出的结论是（）。 模态命题亦称“模态判断”，由“必然”和“可能”两个最基本的模态词引导，在通常情况下，人们所说的模态命题多指包含“必然”或“可能”这两个模态词的狭义模态命题：必然命题或可能命题。根据上述定义，下列描述中不属于模态命题的是： 如果一个推理是有效的，则这个推理的结论是成立的。 ()代码可以分为模态和非模态代码。 以“逻辑论证之所以错误，或因为论题虚假，或因为论据虚假，或因为论式不正确”为前提进行选言推理，能推出的结论是()。 根据对当关系，如果SAP为真，则由它可推出的同样为真的结论是（）。 以p→（）和q为前提进行推理，结论是（）。 G代码分为模态和非模态代码，非模态代码是指某一G代码被指定后就一直有效（） 以“没有一个教师不是知识分子”为前提进行换质法直接推理，推出的结论是（）。