Статья 226

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

Интерпретация языка логики предикатов.

Формальные выражения логического языка имеют смысл только в том случае, если имеется какая-то интерпретация входящих в них знаков, построена некоторая семантика данного языка. Один из способов построения семантики состоит в том, что выделяется некоторое непустое множество не лингвистических объектов, называемое областью интерпретации, и определяется функция, сопоставляющая выражениям языка объекты, множества объектов или отношения между объектами области интерпретации.