展开 离散数学蕴涵符号