Metkagram · Contrast · necessity-type
Прежде чем сделать X, нужно Y vs чтобы X было верно, должно быть Y
Как выбрать: Y является шагом, который нужно выполнить до действия, или условием, без которого утверждение или гипотеза не может оставаться возможной?
Главное различие
CLF045 описывает операционную зависимость: Y — обязательный шаг перед переходом к X. CLF057 описывает логическую проверку гипотезы: Y — необходимое следствие X, поэтому отсутствие Y ослабляет X, а не просто блокирует действие.
Первая модель · CLF045
Before we can [X], we need to [Y].
Поставить обязательный шаг перед следующим действием и тем самым упорядочить решение.
- EN
- Before we can [X], we need to [Y].
- DE
- Bevor wir [X] können, müssen wir [Y].
Вторая модель · CLF057
For [X] to be true, [Y] would need to be the case.
Проверить гипотезу через необходимое следствие: если требуемый признак Y отсутствует, X становится слабее.
- EN
- For [X] to be true, [Y] would need to be the case.
- DE
- Damit [X] zutrifft, müsste [Y] der Fall sein.
Примеры
CLF045
Формула: Before we can [X], we need to [Y].
Пример: Before we can automate the check, we need to define the rule.
CLF057
Формула: For [X] to be true, [Y] would need to be the case.
Пример: For a retry to be the cause, the duplicate would need to appear after the first failure.