Рассуждения ученика:
1. Таня — не Добрынина (по условию, они — одноклассницы, а значит, разные девочки). Покажем на схеме пунктирной линией отсутствие соответствия между символьными переменными Т и Д (синим цветом). Значит, Таня — Строгова. Покажем соответствие между символьными переменными Т и С сплошной линией (красным цветом).
2. Так как Таня — Строгова (по доказательству), Аня — не Строгова. Покажем на схеме пунктирной линией отсутствие соответствия между символьными переменными А и С (красным цветом).
3. Так как Аня — не Строгова (по доказательству), Аня — Добрынина. Покажем соответствие между символьными переменными А и Д сплошной линией (красным цветом).
4. Итак, рассуждая, мы пришли к выводу: Аня имеет фамилию Добрынина, а Таня — Строгова.
Ответ: Таня имеет фамилию Строгова, Аня — Добрынина.
1. Таня — не Добрынина (по условию, они — одноклассницы, а значит, разные девочки). Покажем на схеме пунктирной линией отсутствие соответствия между символьными переменными Т и Д (синим цветом). Значит, Таня — Строгова. Покажем соответствие между символьными переменными Т и С сплошной линией (красным цветом).
2. Так как Таня — Строгова (по доказательству), Аня — не Строгова. Покажем на схеме пунктирной линией отсутствие соответствия между символьными переменными А и С (красным цветом).
3. Так как Аня — не Строгова (по доказательству), Аня — Добрынина. Покажем соответствие между символьными переменными А и Д сплошной линией (красным цветом).
4. Итак, рассуждая, мы пришли к выводу: Аня имеет фамилию Добрынина, а Таня — Строгова.
Ответ: Таня имеет фамилию Строгова, Аня — Добрынина.