- соответствием субъекта суждения его предикату;

- соответствием аргументов предиката (элементов модели Е1) и отношений между ними (связей между элементами модели Е1) объективной логике объекта А (модели В объекта А, имеемой у обучающего Q).

Если рассматривать формулировку обучаемым R знаковой модели Е1 системы А в качестве процедуры, состоящей из определенного числа операций, то необходимо отметить следующие ее особенности:

- используемые для формулировки суждения (модели Е1) понятия (элементы модели Е1) выступают в качестве операндов;

- определенные на основе интегративных свойств и признаков используемых понятий отношения выступают в роли операторов соответствующих операций по объединению используемых понятий в высказывание;

- интегративные свойства и признаки используемых для формулировки суждения понятий в явной форме не проявляются, а выступают только в опосредованном виде - виде формальных отношений установленных между понятиями высказывания.

Рис.2.1.10. Графовая логико-смысловая модель теоремы Чебышева

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

Таким образом, ЛСМ знания как его семантическая (понятийная) модель отражает структуру некоторого сложного понятия через более простые, связанные теми или иными отношениями. В качестве примера одной из возможных форм такой модели на рис.2.1.10 представлена ЛСМ теоремы Чебышева, изображенная в виде графа.

В качестве исходных понятий, на основе которых определяются все остальные понятия ЛСМ, для модели, представленной на рис.2.1.10 приняты понятия числа опытов (n), предела (lim), вероятности (Р), случайного события, среднего арифметического, единицы, математического ожидания, дисперсии и ограничения сверху (D(x) c).