根据真值模态推理，“某甲必然是凶手”为真，则（）为假，（）为真，（）为假。

填空题根据真值模态推理，“某甲必然是凶手”为真，则（）为假，（）为真，（）为假。

1.填空题P要么q为不相容选言推理的前提，如果另一个前提为P，则结论为（）；而如果得出的结论是q，则另一个前提应为（）。

2.填空题若SEP取值为真，则SIP取值为（）、SOP取值为（），SAP取值为（）。

3.填空题联言推理有（）和（）两种有效式。

4.填空题将“有的律师不是共产党员”换质，其结论是（），再将所得结论换位为（），其推演的逻辑形式可用公式表示为（）。

5.填空题间接反驳是通过论证另一个与对方论题（）或（）的论题的真实性，然后根据（）律，从而间接确定对方论题的虚假性的反驳。

6.填空题“只有A型血的人，才是该案的案犯”这一判断的负判断是（），与该负判断等值的判断是（）。

7.填空题对SAP判断换质，其结论是（）；对SAP判断换位，其结论是（）。

8.填空题根据不矛盾律，可由一个判断真，推出与其具有（）或（）关系的判断假。

9.填空题当“P←→q”为假时，“P∨q”为（）。

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