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

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

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