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

Добавлена: 12.05.2026
Обновлена: 12.05.2026
Предмет: Логика
Автор: Кэмп

#Логика аргументации
#Критическая логика

Условие:

На планете Баирта живут два вида инопланетян – вермилоиды и макароиды.
Внешне они ничем не отличаются, но вермилоиды всегда лгут, а макароиды всегда говорят правду.
Астробиологи, изучающие жизнь на планете и знающие местный язык, встретили на Баирте трех аборигенов и спросили их, к каким видам они относятся. Первый пробормотал что-то невнятное. Второй уточнил: «Он говорит, что он вермилоид». А третий сказал второму: «Ты, как всегда, лжешь!». Этой информации достаточно, чтобы точно сказать, к какому виду относится третий абориген. Кто же он?

Решение:

1. Дано

Вермилоиды (В): Всегда лгут.
Макароиды (М): Всегда говорят правду.
Есть три аборигена: $A_1$ , $A_2$ , $A_3$ .

2. Найти

К какому виду относится третий абориген ( $A_3$ )?

3. Решение

Обозначим вид аборигена как $V_i \in \{В, М\}$ , где $i$ — номер аборигена.

Рассмотрим высказывания:

$A_1$ : Пробормотал что-то невнятное (это высказывание не несет полезной информации для нас, так как мы не знаем, что именно он сказал).
$A_2$ : «Он ( $A_1$ ) говорит, что он вермилоид».
$A_3$ : «Ты ( $A_2$ ), как всегда, лжешь!» (То есть, $A_3$ утверждает, что...