48. Язык SC. Понятие семантически нормализованного множества.

Множество, каждый элемент которого является знаком множества, будем называть нормализованным множеством. Понятие нормализованного множества имеет для нас важное значение, т. к. нормализованное множество достаточно хорошо "подготовлено" к его изображению или описанию в виде текста того или иного языка. Такая "подготовленность" обусловлена тем, что в нормализованном множестве все его элементы являются знаками, которые вместе со знаком самого этого множества могут быть изображены произвольным образом в соответствии с требованиями любого языка.

Множество является семантически нормализованным множеством тогда и только тогда, когда все его элементы являются обозначениями семантически нормализованных множеств, либо обозначениями семантически ненормализованного синглетона.

49. Язык SC. Семантика позитивной дуги.

Каждая позитивная sc-дуга обозначает пару, первый элемент которой обозначает некоторое множество а второй – является его элементом

50. Язык SC. Семантика негативной дуги.

Каждая негативная sc дуга обозначает пару, первый элемент которой обозначает нек оторое множество, а второй является элементом, который не принадлежит* этому мн ожеству.