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

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

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