2.3 作为命名判定断面的否定性