Кот Шредингера Х ни жив, ни мертв

[plFlok]

Мысль автора так прыгает, что я чувствовал себя героем мультфильма

Под спойлер

[bvv2311]

Формулы применимы. И это главное. Касается как части f:x->y, так и части с ложными формулами.

[bvv2311]

Когда пишу проекты, использую не только формулы, о которых можно сказать, что они иногда истинны. Но и формулы, которые всегда истинным. И формулы, которые всегда ложны. Без последних не все можно выразить.

[bvv2311]

1) выражения языка (такие, как 2 + 3, х + 3, х = у, х = 3, 2 = 3, 2 = 2  — в отличие от таких как + = х)
2) среди выражений выделяются так называемые формулы, означающие при интерпретации «утверждения, зависящие, быть может, от параметра» (такие, как х = 3, х = у, 2 = 3, 2 = 2)
3) среди формул выделяются так называемые замкнутые формулы, или утверждения, не зависящие от параметра, (такие, как 2 = 3,2 = 2)
4) среди утверждений выделяются истинные утверждения (такие, как 2 = 2)

[bvv2311]

Дословно: верно, что
ложь равна тому, что ложь равна и не равна лжи.
(Уберите ложное (ложь не равна лжи) и вся конструкция перестанет быть верной.

На python

print(False == ((False == False) and (False != False)))

И на С++

#include
int main() {
  std::cout << (false == ((false == false) && (false != false)));
}

И даже на rust

fn main() {
    println!("{}", (false == ((false == false) && (false != false))));
}