[userpic]

Х и Y могут быть: -ресурсными –нейтральными -антиресурс 

metanymous в посте Metapractice (оригинал в ЖЖ)

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

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