Logic 你怎么称呼否定陈述的替代物？

想想最初的说法：所有政客都在撒谎

对该声明的否定是：存在一些不说谎的政客

---

但以下几点呢：所有政客都不会撒谎。“所有政客都撒谎”和“所有政客都不撒谎”这两个说法之间没有联系，因此没有一个词可以用来描述他们之间的关系

当你说“存在一些不说谎的政客”是对第一句话的否定时，你是对的，但是“所有政客都不说谎”这句话本身就是一个完全不同的说法。对这一说法的否定将是“存在一些确实撒谎的政客”

希望这有意义

在古典逻辑中，“所有政客都撒谎”是普遍的肯定。如果P是政客的集合，L是说谎者的集合，那么我们可以把它写成“所有P都是L”

“所有政客都不撒谎”在这一逻辑传统中被更普遍地表述为“没有政客撒谎”。这是普遍的否定，“没有P就是L”

---

这两种说法是相反的，即“所有政客都撒谎”与“所有政客都不撒谎”相反。

我投票将这个问题作为离题题来结束，因为它是关于逻辑的，而不是关于编程或软件开发的。