В общем случае, термы языка могут обозначать : . ... значения лексем "переменная" (если речь идет о несвязанных переменных ). терм = простой_терм | составной_терм | ... В качестве функторов составных термов и атомарных формул используются символы и метапеременные ( метафункторы ) : функтор = символ | ... Метапеременными , называются переменные , используемые в качестве функторов и символов . Метапеременные , используемые в качестве функторов , называются метафункторами . ... Следующий: 3.1. ...