如果某有效三段论的一个前提是特称否定判断，则断定正确的有（ ）。