必然否定判断

断定对象情况必然不存在的一种模态判断。如：“搞阴谋诡计的人必然没有好下场”。其形式结构为：“S必然不是P”或“‘S不是P’是必然的”； 简写为：“必然不A”。必然否定判断的真值依赖对象不具有的情况是否具有必然模态，当在对象所有可能出现的场合，所断定的对象情况都不存在时，对象情况的不存在具有必然性，该判断为真； 当在对象所有可能出现的场合，只要有一个场合中所断定的对象情况存在，对象情况的不存在就不具有必然性，该判断就是假的。