根据不矛盾律，可由一个判断真，推出与其具有（）或（）关系的判断假。

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

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

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

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

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

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