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

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

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

若SEP取值为真，则SIP取值为（）、SOP取值为（），SAP取值为（）。

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

联言推理有（）和（）两种有效式。

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