数学命题有哪些常用逻辑用语,