-
English
-
Russian
-
English
-
Russian
Контрмодель
Translation контрмодель into english
контрмодель
Noun
В логике контрмодель используется для опровержения гипотезы.
In logic, a countermodel is used to refute a hypothesis.
Definitions
контрмодель
Noun
Контрмодель - это модель, которая служит для опровержения или проверки истинности другой модели, демонстрируя пример, в котором исходная модель не работает или не применима.
В логике, чтобы опровергнуть универсальное утверждение, достаточно привести контрмодель, где это утверждение не выполняется.
Idioms and phrases
поиск контрмодели
Поиск контрмодели является важной частью исследования.
search for a countermodel
The search for a countermodel is an important part of the research.
анализ контрмодели
Анализ контрмодели помогает понять ограничение гипотезы.
analysis of the countermodel
Analysis of the countermodel helps to understand the limitation of the hypothesis.
использование контрмодели
Использование контрмодели позволяет проверить теорию на прочность.
use of a countermodel
The use of a countermodel allows testing the theory for robustness.
построение контрмодели
Построение контрмодели требует тщательного подхода.
construction of a countermodel
Construction of a countermodel requires a careful approach.
создание контрмодели
Создание контрмодели может раскрыть неожиданные аспекты теории.
creation of a countermodel
The creation of a countermodel can reveal unexpected aspects of the theory.