Анализ табличек:
- Табличка 1: «Барка «Индевор»» и «Это судно не ходило во льдах». Если первое истинно, то второе тоже истинно. Если первое ложно, то второе может быть как истинно, так и ложно.
- Табличка 2: «Карака «Санта-Мария»» и «Ледоходом была не барка «Индевор»». Эта табличка содержит ложные утверждения.
- Табличка 3: «Шлюп «Мирный»» и «Это судно не ходило во льдах». Эта табличка содержит истинное и ложное утверждения.
Логика рассуждений:
Из условия известно, что одна табличка полностью верная, другая — ложная, а третья — смешанная (одно истинное, одно ложное). Попробуем проанализировать возможные варианты:
- Вариант 1: Табличка 1 - верная, Табличка 2 - ложная, Табличка 3 - смешанная.
Если Табличка 1 верная, то «Барка «Индевор»» — это не ледоход, и она не ходила во льдах. Это противоречит тому, что судно было перестроено из военного ледохода. - Вариант 2: Табличка 1 - смешанная, Табличка 2 - ложная, Табличка 3 - верная.
Если Табличка 3 верная, то «Шлюп «Мирный»» — это ледоход, и он не ходил во льдах. Это также противоречит условию, так как военный ледоход должен ходить во льдах. - Вариант 3: Табличка 1 - ложная, Табличка 2 - смешанная, Табличка 3 - верная.
Если Табличка 2 смешанная, а Табличка 3 верная, то «Шлюп «Мирный»» — это ледоход, который не ходил во льдах. Снова противоречие. - Вариант 4: Табличка 1 - верная, Табличка 2 - смешанная, Табличка 3 - ложная.
Если Табличка 1 верная, то «Барка «Индевор»» — это не ледоход, и она не ходила во льдах. Это исключает ее как военный ледоход. - Вариант 5: Табличка 1 - ложная, Табличка 2 - верная, Табличка 3 - смешанная.
Если Табличка 2 верная, то «Карака «Санта-Мария»» — это не ледоход, и ледоходом была не барка «Индевор». - Вариант 6: Табличка 1 - смешанная, Табличка 2 - верная, Табличка 3 - ложная.
Если Табличка 2 верная, то «Карака «Санта-Мария»» — это не ледоход, и ледоходом была не барка «Индевор».
Вернемся к условию: два судна были перестроены из мирных, а одно — из военного ледохода. Нам нужно выбрать название военного ледохода.
Рассмотрим табличку 2: «Карака «Санта-Мария»», «Ледоходом была не барка «Индевор»», «Ледоходом был шлюп «Мирный»».
Если предположить, что это полностью ложная табличка, то:
- «Карака «Санта-Мария»» — это ледоход.
- Ледоходом была барка «Индевор».
- Ледоходом был не шлюп «Мирный».
Если предположить, что табличка 3 («Шлюп «Мирный»», «Это судно не ходило во льдах», «Ледоходом была барка «Индевор»») — смешанная (одно истинно, одно ложно), то:
- Если «Шлюп «Мирный»» — истина, и он не ходил во льдах, то он не военный ледоход.
- Если «Ледоходом была барка «Индевор»» — истина, тогда «Барка «Индевор»» — это военный ледоход.
Проверим первую табличку: «Барка «Индевор»», «Это судно не ходило во льдах», «Ледоходом была карака «Санта-Мария»».
Если «Барка «Индевор»» — это военный ледоход, то утверждение «Это судно не ходило во льдах» — ложно. Значит, оно ходило во льдах. Утверждение «Ледоходом была карака «Санта-Мария»» — тоже ложно.
Итак, если:
- Табличка 1 — ложная (так как «Барка «Индевор»» ходила во льдах, а «Карака «Санта-Мария»» не была ледоходом)
- Табличка 2 — ложная (так как «Карака «Санта-Мария»» является ледоходом, «Барка «Индевор»» является ледоходом, а «Шлюп «Мирный»» не является ледоходом)
- Табличка 3 — верная (так как «Шлюп «Мирный»» не является ледоходом, а «Барка «Индевор»» является ледоходом)
Это соответствует условию: одна табличка верная, одна ложная, одна смешанная (одно истинно, одно ложно).
Таким образом, военным ледоходом является «Барка «Индевор»».