[多选]  谓词逻辑的基本组成部分是()和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。