а) нелогические символы
- имена - a, b, c, d, a1...
- параметры для предикатов P, Q, R, S...(с верхними и нижними индексами: верхний индекс - местность, нижний индекс - чтоб буквы не повторялись)
- параметры для предметных функторов: f, g, h, f1.... (так же с верхними и нижними индексами)
- предметные переменные: x, y, z, x1.... (их возможные значения - отдельно взятые предметы, вводятся для квантеров)
б) логические символы
- пропозициональные связки: *неверно*, &, V, *импликация*
- квантеры - всеобщности и существования (перевернутая А и Е, если кто забыл)
в) Технические символы: (,), ,-скобки и запятая.