根据模态逻辑方阵进行模态推理，如果结论为“pˉ”，则前提是()。

逻辑学的创始人是古希腊的亚里士多德，他的主要理论贡献有三段论逻辑、模态逻辑等。 表示推理状态的模态词包括（）。 前提虚假可能不是正确的推理，所以，前提虚假必然不是正确的推理。指出上述模态推理的类型，并说明其是否有效，为什么？ P要么q为不相容选言推理的前提，如果另一个前提为P，则结论为（）；而如果得出的结论是q，则另一个前提应为（）。 以“如果p那么q”和“如果r那么s”为假言前提进行二难推理，则推出的结论可以是（）或（）。 以p→（）和q为前提进行推理，结论是（）。 指令有模态和非模态之分，F、S指令都是模态指令 根据前提和结论之间的逻辑联系，可以把推理分为必然性推理和_________。 模态命题亦称“模态判断”，由“必然”和“可能”两个最基本的模态词引导，在通常情况下，人们所说的模态命题多指包含“必然”或“可能”这两个模态词的狭义模态命题：必然命题或可能命题。根据上述定义，下列描述中不属于模态命题的是： 根据推理中前提和结论之间是否有逻辑蕴涵关系，可以把推理分为______和或然性推理。 根据规范模态判断之间的对当关系，从“必须P”可以推出（）、（）、（） 根据前提和结论之间的逻辑联系，可以把推理划分为必然性推理和_______。 ()代码可以分为模态和非模态代码。 如果一个归纳推理结论为假，则这个推理的前提为假。 以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有（）。 以“p”和“r∨～q∨～p”为前提进行推理，能必然推出的结论是（）。 以 “如果 p 那么 q ”和“并非 (q 并且非 r) ”为前提进行演绎推理，能必然推出的结论是 G代码分为模态和非模态代码，非模态代码是指某一G代码被指定后就一直有效（） 以¬p→r，¬q→s,¬r∨¬s为前提进行推理，其结论应是( ) 什么是续效（模态）代码？什么是非续效（模态）代码？举例说明