Статья 221

Знак квантора всеобщности перевернутое. А возник как сокращение английского слова все, а знак квантора существования перевернутое Б - как сокращение английского слова существует.
И, наконец, последний тип знаков - технические знаки, - скобки правая, левая и запятая, с помощью которых выражение однозначно расчленяется на составляющие части подвыражения.
Выражения языка исчисления предикатов суть последовательности перечисленных знаков, которые строятся согласно определенным правилам. Будем говорить, что знак входит, или имеет вхождение в выражение, если это выражение имеет вид, где последовательности знаков, возможно, пустые. Точно так же можно говорить о вхождении одного выражения в другое. Следует подчеркнуть, что знак или последовательность знаков может иметь не одно, а несколько вхождений в одно и то же выражение.