当“P←→q”为假时，“P∨q”为（）。

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

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

某有效三段论的大前提为MOP，小前提应为（），结论应为（）。

填空题某有效三段论的大前提为MOP，小前提应为（），结论应为（）。

当SEP和SOP都假时，则S和P的外延具有（）和（）关系。

填空题当SEP和SOP都假时，则S和P的外延具有（）和（）关系。