Может, если захочет.
То есть, может и не болеть, если не захочет?
Почему?
1) М Может ли суфий заболеть?
2) БГ Может, если захочет.
3) М То есть, может и не болеть, если не захочет?
4) БГ Почему?
Введем обозначения: A - суфий хочет заболеть, B - суфий может заболеть.
1) М спрашивает, истинно ли B?
2) БГ отвечает: B истинно, если истинно A.
М думает, что БГ сформулировала правило импликации: A => B (если A, то B).
Нарисуем таблицу для этого правила:
(A => B) <=> not(A) V B
A B
not(хочет_заболеть) not(может_заболеть) истинно
хочет_заболеть not(может_заболеть) ложно
not(хочет_заболеть) может_заболеть истинно
хочет_заболеть может_заболеть истинно
Если высказывание БГ - импликация, то
это высказывание будет истинным не только при подстановке A=1, B=1,
но и при подстановке A=0, B=1. То есть это равноценно тому,
как если бы БГ одновременно сказала:
Может, если захочет.
Может, если не захочет.
Но М думает, что БГ не станет просто так постить в форум бессодержательное
сообщение, добавляя к слову "может" бессмысленное условие,
значит это правило - не импликация. И, скорее всего, в случае импликации
высказывание БГ звучало бы "если A истинно, то истинно B".
Тогда М ничего не остаётся, как предположить, что высказывание БГ это
эквивалентность (A <=> B) , т.е. B истинно "если и только если" истинно A.
Нарисуем таблицу для этого правила:
A B
not(хочет_заболеть) not(может_заболеть) истинно
хочет_заболеть not(может_заболеть) ложно
not(хочет_заболеть) может_заболеть ложно
хочет_заболеть может_заболеть истинно
Здесь мы видим, что правило не может быть истинным если
A = 0, B = 1. То есть "неверно, то что суфий может заболеть,
если он этого не хочет".