填空题
根据真值模态推理，“某甲必然是凶手”为真，则（）为假，（）为真，（）为假。
必然非P为假，可能P为真、可能非P为假
填空题 P要么q为不相容选言推理的前提，如果另一个前提为P，则结论为（）；而如果得出的结论是q，则另一个前提应为（）。
填空题 若SEP取值为真，则SIP取值为（）、SOP取值为（），SAP取值为（）。
填空题 联言推理有（）和（）两种有效式。
