特称否定判断的逻辑形式是:某个S不是P。
出自:法学