>>4538104
Ну, знаешь, я бы то что ты описал, сравнил с самой обыкновенной, и как говорят, на самом деле составляющей большую часть времени работы программиста, отладкой более-менее крупного прожекта.
Например если есть, допустим, десять модулей, они все исполняют какую-то свою задачу, и могут иметь какие-то свои баги, и при этом в некоторых случаях из-за них вызывать глюки в других, взаимодействуя с ними непредвиденным образом, и надо как-то проанализировать и сопоставить всю их работу и код, и попытаться из этой серии глитчей и взаимодействий извлечь комплекс багов, из-за которых, допустим, при правом клике по кнопке отмены в окошке сохранения счёта-фактуры дропается БД с отчётностью за последний месяц.
Но к формальной логике-то всё это никакого отношения не имеет, как было (1 && 1) == 1 так всегда и будет, а вот где в коде эта хрень будет находиться, и как влиять на поведение общей программы, можно назвать вопросом интерпретаций, и у тебя всё то же самое.
>>4538114
А тут уже попахивает нечёткой логикой, но она ведь тоже одна на всех, и у всех работает одинаково.