Чтобы определить, в какой день недели мог состояться диалог между Никитой и Семёном, рассмотрим их утверждения и правдивость в различные дни.
- Семён (троечник) говорит правду по понедельникам, четвергам и пятницам. Значит, он лжёт во вторник, среду, пятницу, субботу и воскресенье.
- Никита (хорошист) говорит правду по вторникам, средам, субботам и воскресеньям. Значит, он лжёт в понедельник, четверг и пятницу.
Теперь проанализируем утверждения:
- Семён: "Завтра математики не будет."
- Никита: "Вчера была математика."
Проверим возможные дни недели, когда мог состояться диалог:
Понедельник:
- Семён лжёт (завтра — вторник, математика будет).
- Никита говорит правду (вчера — воскресенье, математики не было).
- Противоречие: не может быть, чтобы один говорил правду, а другой лгал.
Вторник:
- Семён лжёт (завтра — среда, математика будет).
- Никита говорит правду (вчера — понедельник, математики не было).
- Противоречие: не может быть, чтобы один говорил правду, а другой лгал.
Среда:
- Семён лжёт (завтра — четверг, математика будет).
- Никита говорит правду (вчера — вторник, математика была).
- Согласуется: Никита говорит правду, Семён лжёт.
Четверг:
- Семён говорит правду (завтра — пятница, математика будет).
- Никита говорит правду (вчера — среда, математика была).
- Противоречие: не может быть, чтобы оба говорили правду.
Пятница:
- Семён говорит правду (завтра — суббота, математики не будет).
- Никита говорит лжи (вчера — четверг, математика была).
- Противоречие: не может быть, чтобы один говорил правду, а другой лгал.
Суббота:
- Семён лжёт (завтра — воскресенье, математики не будет).
- Никита говорит правду (вчера — пятница, математика была).
- Противоречие: не может быть, чтобы один говорил правду, а другой лгал.
Воскресенье:
- Семён лжёт (завтра — понедельник, математика будет).
- Никита говорит правду (вчера — суббота, математики не было).
- Противоречие: не может быть, чтобы один говорил правду, а другой лгал.
Таким образом, единственный возможный день недели, когда состоялся диалог и не было противоречий, это среда.
