根据真值模态推理，“某甲必然是凶手”为真，则（）为假，（）为真，（）为假。