Предложен метод получения условий следования тех или иных свойств математической модели одной системы из структурно близких в некотором смысле свойств модели другой системы, связанной с первой некоторыми межмодельными объектами связи. Метод применим к разным моделям и их свойствам. Не требуется априорного задания каких-либо из условий импликации свойств. Они формируются в ходе решения соответствующего логического уравнения с возможностью широкого варьирования выбора межмодельных объектов связи. Получаемые этим методом теоремы об импликации свойств обычно являются новыми или модификациями известных, а в других случаях – следствиями или обобщениями известных теорем. Применение метода детально проиллюстрировано на примерах с интерпретацией условий получаемых теорем.