Что означает квантор готическим шрифтом буква R в общей алгебре? Ну или в математической логике вобще. Пример: R (x=y)

Answer 1

Закреплённого общепринятого значения нет. В примере - отношение (Relation) / конкретно или равенства, или эквивалентности. И ещё - не всё, что стоит перед скобками - квантор.

Answer 2

Можно понять, как предикат , то есть утверждение (в данном случае , равенство) . Или отношение, или операция .
Поставив перед ним «существует» или «для всех» из к- либо множества , zb натуральных , получим истину или ложь.
«существуют» xy «из» N «такие, что» R (x=y) ; истина
«для любых» xy «из» N «такие, что» R (x=y) ; ложь
 (в кавычках обычные кванторы , значков нет- А, Е перевернутые)