Чтобы решить эту задачу, давайте обозначим каждого из ребят:
- \( A \) — Аня
- \( V \) — Вика
- \( S \) — Сергей
Теперь переходим к утверждениям учителя и запишем их в логической форме.
Аня пойдет в кино только тогда, когда пойдут Вика и Сергей: \[ A \rightarrow (V \land S) \] (Аня идет в кино только если Вика и Сергей пойдут в кино)
Аня и Сергей пойдут в кино вместе или же оба останутся дома: \[ (A \land S) \lor (\neg A \land \neg S) \] (либо оба идут, либо оба остаются)
Чтобы Сергей пошел в кино, необходимо, чтобы пошла Вика: \[ S \rightarrow V \] (если Сергей идет, то Вика тоже должна идти)
Поскольку только два из трех утверждений истинны, мы должны проверить все возможности, чтобы определить, кто именно пошел в кино.
Рассмотрим варианты, исходя из возможных комбинаций:
1. \( A = \text{истина}, V = \text{истина}, S = \text{истина} \)
- Истинно: \( \text{истина} \rightarrow (\text{истина} \land \text{истина}) \) — верно.
- Истинно: \( (\text{истина} \land \text{истина}) \lor (\text{ложь} \land \text{ложь}) \) — верно.
- Истинно: \( \text{истина} \rightarrow \text{истина} \) — верно.
Все три утверждения истинны. Не подходит.
2. \( A = \text{истина}, V = \text{истина}, S = \text{ложь} \)
- Истинно: \( \text{истина} \rightarrow (\text{истина} \land \text{ложь}) \) — ложь.
- Истинно: \( (\text{истина} \land \text{ложь}) \lor (\text{ложь} \land \text{истина}) \) — ложь.
- Истинно: \( \text{ложь} \rightarrow \text{истина} \) — верно.
Ложны 1 и 2, но только 1 неверно. Не подходит.
3. \( A = \text{истина}, V = \text{ложь}, S = \text{истина} \)
- Истинно: \( \text{истина} \rightarrow (\text{ложь} \land \text{истина}) \) — ложь.
- Истинно: \( (\text{истина} \land \text{истина}) \lor (\text{ложь} \land \text{ложь}) \) — верно.
- Истинно: \( \text{истина} \rightarrow \text{ложь} \) — ложь.
Ложны 1 и 3, только 2 верно. Не подходит.
4. \( A = \text{истина}, V = \text{ложь}, S = \text{ложь} \)
- Истинно: \( \text{истина} \rightarrow (\text{ложь} \land \text{ложь}) \) — ложь.
- Истинно: \( (\text{истина} \land \text{ложь}) \lor (\text{ложь} \land \text{ложь}) \) — ложь.
- Истинно: \( \text{ложь} \rightarrow \text{ложь} \) — верно.
Ложны 1 и 2, только 3 верно. Не подходит.
5. \( A = \text{ложь}, V = \text{истина}, S = \text{истина} \)
- Истинно: \( \text{ложь} \rightarrow (\text{истина} \land \text{истина}) \) — верно.
- Истинно: \( (\text{ложь} \land \text{истина}) \lor (\text{истина} \land \text{ложь}) \) — ложь.
- Истинно: \( \text{истина} \rightarrow \text{истина} \) — верно.
Ложно только 2. Подходит!
6. \( A = \text{ложь}, V = \text{ложь}, S = \text{истина} \)
- Истинно: \( \text{ложь} \rightarrow (\text{ложь} \land \text{истина}) \) — верно.
- Истинно: \( (\text{ложь} \land \text{истина}) \lor (\text{истина} \land \text{ложь}) \) — ложь.
- Истинно: \( \text{истина} \rightarrow \text{ложь} \) — ложь.
Ложны 2 и 3. Не подходит.
7. \( A = \text{ложь}, V = \text{ложь}, S = \text{ложь} \)
- Истинно: \( \text{ложь} \rightarrow (\text{ложь} \land \text{ложь}) \) — верно.
- Истинно: \( (\text{ложь} \land \text{ложь}) \lor (\text{истина} \land \text{ложь}) \) — верно.
- Истинно: \( \text{ложь} \rightarrow \text{ложь} \) — верно.
Все три ложны. Не подходит.
Сравнив все варианты, мы пришли к выводу, что в кино пошли Вика и Сергей, а Аня осталась дома.
