Способ исследования, при котором логико-математическое моделирование пользуется формальным аппаратом математической логики, изучающим общие закономерности теории доказательства. Логико-математические исчисления и моделирование допускают логическую правильность инвариантной (моделирующей, генотипической) сущности речемыслительной деятельности, рассмотрение ее как логического устройства, в котором выделяются элементарные исходные компоненты и непротиворечивый аппарат логических операций.