在数学术语中，做两个＆＃34; NOTS＆＃34;抵消？

Question

我在这里做一些离散数学。如果我有“NOT k”这样的东西，如果我在它前面添加另一个“NOT”以使其“NOT not k”，那么两个“NOT”会取消而只是变成“k”吗？

这也适用于句子吗？这是一个奇怪的逻辑事情，我很难掌握。

Answer 1

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

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

Answer 2

是。将两个NOT运算符链接在一起只会返回原始k。单个NOT将值从true转换为false或false转换为true。第二个翻转它。

Answer 3

当你否定一个值时，你发现它是反向的。那么倒数的倒数是什么？否定某事两次将始终产生原始值。

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