特称否定判断的逻辑形式是：某个S不是P。