Logic 用数学术语来说,做两件事;NOTS";取消?

Logic 用数学术语来说,做两件事;NOTS";取消?,logic,discrete-mathematics,inference,Logic,Discrete Mathematics,Inference,我在这里做离散数学。比如说,如果我有一个类似“notk”的东西,如果我在它前面加上另一个“NOT”使其成为“NOT NOT k”,那么这两个“NOT”会相互抵消,变成“k”吗 这对句子也适用吗?这是一个奇怪的逻辑问题,我很难理解 是的。将两个NOT运算符链接在一起只会返回原始的k。单个NOT将值从true翻转为false或从false翻转为true。第二个将其翻转回去。当你对一个值求反时,你会发现它是反的。那么什么是倒数的倒数呢?两次否定某事物总是会得到原始值 因此,在您的示例中,不是k==k。

我在这里做离散数学。比如说,如果我有一个类似“notk”的东西,如果我在它前面加上另一个“NOT”使其成为“NOT NOT k”,那么这两个“NOT”会相互抵消,变成“k”吗


这对句子也适用吗?这是一个奇怪的逻辑问题,我很难理解

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

当你对一个值求反时,你会发现它是反的。那么什么是倒数的倒数呢?两次否定某事物总是会得到原始值


因此,在您的示例中,不是k==k。

要从更正式的角度理解这一点,请不要看


请注意,尽管大多数逻辑系统都假定双重否定消去法是有效的,但情况并非普遍如此

我从来没有听说过在[英语]的“句子”中使用“not not”(除了描述非惯用结构或weasel speak时),尽管还有很多其他的表达方式。如果你对一个特定的句子/问题的措辞有问题,那就去问。请花点时间做一个粗略的研究。好的,在相关的旁注上。S或不是T,S,因此不是T(这是否代表析取三段论?)