离散数学23.前束范式