Re: Связал модальность с причинно-следственной схемой.  ↑

-Тема: Модальные операторы. Интересная вещь получается. На выходе (после классического реагирования на МО) получаются в одном случае конструкции с формулировкой ближе к "достаточному условию", в другом к "необходимому условию". В кавычки беру, потому что, все-таки, это не логика, как таковая.
-- Если ты описываешь нечто доказуемое, то всё это весьма значимо.

Могу показать на примере:
-Должен делать Х
-Иначе что?
-Y
-Если не получаешь Х, то происходит Y?
-Да.

Дела в том, что "Y" это конструкция с отрицанием, даже если без "не" (например, просплю)
Поэтому получаем: Нет Х, нет Y
Добавляем обязательность и получаем: Если нет X, то обязательно всегда нет и Y
Если ответ: Да, всегда
То это подтверждение того, что X это действительно необходимое условие для Y
Если ответ нет, то можно говорить, что Х не необходимое условие для Y. Дальше можно проверить на "достаточное условие".

Если в этом есть смысл и польза, могу расписать дальше)))

Или какую доказуемость мне привести?