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

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

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

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

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

在真包含关系中，外延大的那个概念叫做（）概念，外延小的那个概念叫做（）概念。

填空题在真包含关系中，外延大的那个概念叫做（）概念，外延小的那个概念叫做（）概念。