logic - 用数学术语来说，两个“NOTS”会抵消吗？

Question

我在这里做一些离散数学。假设我有类似“NOT k”之类的东西，如果我在它前面添加另一个“NOT”以使其成为“NOT NOT k”，这两个“NOT”会相互抵消而变成“k”吗？

这也适用于句子吗？这是一个奇怪的逻辑问题，我很难理解。

Answer 1

要从更正式的角度理解这一点，请不要不看https://en.wikipedia.org/wiki/Double_negation。

请注意，尽管大多数逻辑系统都假定双重否定消除的有效性，但情况并非普遍如此。

Answer 2

Yes. Chaining two NOT operators together just returns the original k. A single NOT flips the value from true to false or false to true. The second one flips it back.

Answer 3

当你否定一个值时，你会发现它是相反的。那么什么是逆的逆呢？两次否定某些东西总是会产生原始值。

所以在你的例子中，不是 k == k。