-- Если ты описываешь нечто доказуемое, то всё это весьма значимо.--Могу показать на примере: -Должен делать Х -Иначе что? –Y -Если не получаешь Х, то происходит Y? -Да.В этих рассуждениях с самого начала стоит отметить вот что. Х и Y надо рассматривать в широком диапазоне значений и смыслов. Х и Y могут быть:--ресурсными--нейтральными--антиресурсными…в любом сочетании.Дела в том, что "Y" это конструкция с отрицанием, даже если без "не" (например, просплю). Поэтому получаем: Нет Х, нет Y. Добавляем обязательность и получаем: Если нет X, то обязательно всегда нет и Y. Если ответ: Да, всегда. То это подтверждение того, что X это действительно необходимое условие для Y. Если ответ нет, то можно говорить, что Х не необходимое условие для Y. Дальше можно проверить на "достаточное условие".Ну вот, а в этом случае строится рассуждение, в котором расклад значений X и Y берется типичный «терапевтический».Если в этом есть смысл и польза, могу расписать дальше)) Или какую доказуемость мне привести?В данном повороте важнее посмотреть, какие расклады получатся, если рассматривать все варианты и сочетания ресурсности/ нересурсности X и Y.