Programming guide
Учебники по программированию - местами очень веселое чтиво (=
"Очень важно, чтобы написанный вами код в процессе выполнения "вел себя" именно так, как вы предполагали."
"Оператор импликации — это логический инструмент доказательства истинности утверждений.
Например, во фразе "Если на Васе — оранжевый галстук, это свидетельство дурного настроения" содержится утверждение о том, что процесс и результат завязывания на Васиной шее оранжевого галстука напрямую связаны с тем, что персонаж не в духе. Если на Васе в данный момент нет злополучного галстука, то, согласно приведенной выше формуле, может показаться, что наш герой радуется жизни.
К несчастью, Вася может впасть в уныние даже в том случае, если его оранжевый галстук две недели назад был сдан в химчистку.
