“ true ==！false”是否始终为真？

Question

今天在办公室提出来的。 随着各种类型的计算，各种语言和各种布尔类型。 以下始终正确吗

true == !false;

Answer 1

虽然应该没有任何语言可以使您的表达直接为假，但是有很多语言可以使相关表达

someTrueValue == !false

不成立。 例如，C及其变体。 还有Lisp变体，仅举几例。 在这些语言中，存在一个错误值（零或零），其他所有情况都被视为正确。 因此， !false将产生这些真实值之一，该真实值可能不同于someTrueValue 。

Answer 2

假设true和false是表示布尔值的保留关键字，则它应该始终为true。

如果该语言碰巧没有保留那些关键字（例如：Python的旧版本），则您始终可以使用这些名称声明一个变量，使得true == !false为false。

Answer 3

除了true和false感变量， ! 在许多语言中都有不同的含义。 尽管我不知道除了=（某种）相等性以外还使用==任何语言，但它可以是用户定义的。

Answer 4

是。 这是因为！false等于true，而true始终等于true。

Answer 5

如果曾经有一种语言（true ==！false）== false，那么该语言将与布尔逻辑不一致（布尔逻辑中非正式和正式使用“不一致”），并且这种结果这样就有可能得出不一致的逻辑断言（例如true == false或false == true）。

这样的最终结果将是，在语言中没有任何可信赖的逻辑框架可以支撑条件的使用，从而使其无用。