离散数学中的联结符号