离散数学17对偶与范式