Это типичная задача по математической логике. Она хорошо известна, но это не делает её простой или неинтересной. Одну из интерпретаций этой задачи раньше можно было услышать в стенах Apple на собеседованиях. Да и в других компаниях наверняка тоже. Вы стоите в коридоре, в котором две двери. Одна неминуемо ведет на казнь, другая — в сокровищницу. Рядом с каждой дверью стоит стражник. Они оба знают, какая дверь куда ведет. Проблема в том, что один из стражников говорит только правду, а другой всегда лжет, и вы об этом знаете, но не знаете, кто есть кто...

Традиционное применение логики касается обоснованности аргументов. Однако в повседневном рассуждении не менее важно решить, возможно ли то или иное предположение в свете представленной информации. Возможные выводы возникают, когда правила и положения ограничивают поведение человека, а не определяют, каким оно должно быть. Например, студенты, выбирающие образовательную программу в рамках модульной структуры курса, будут иметь много степеней свободы, но должны соблюдать ограничения, связанные с ограничениями...