Например, формула V х ( хеу - жег) выражает суждение у есть подмножество г, ее ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ


Например, формула V х ( хеу - жег) выражает суждение у есть подмножество г, ее естественно обозначить у С г; терм iuVy ( yew - 3 / С г) является именем множества всех подмножеств г, в привычной математической символике его обозначают через Pz. Пусть знак; означает стоящее слева есть обозначение для стоящего справа. Приведем некоторые дальнейшие обозначения для формул и термов.

(cкачать страницу)

Смотреть книгу на libgen

Например,  формула V х ( хеу  -   жег) выражает суждение у есть подмножество г,  ее естественно обозначить у С г;  терм iuVy ( yew - 3 / С г) является именем множества всех подмножеств г,  в привычной математической символике его обозначают через Pz.  Пусть знак;  означает стоящее слева есть обозначение для стоящего справа.  Приведем некоторые дальнейшие обозначения для формул и термов.