根据形式逻辑基本规律中的（），由“不严厉打击刑事犯罪，社会秩序也能安定”为假，可知必要条件命题（）为真。