bvv2311 Jun 17 at 17:26

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

2 min

3.2K

Python*Algorithms*

-7

Comments 5

plFlok Jun 17 at 19:03

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

Под спойлер

bvv2311 Jun 17 at 19:09

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

bvv2311 Jun 17 at 19:49

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

bvv2311 Jun 18 at 00:59

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

bvv2311 Jun 18 at 18:53

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

На 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))));
}