离散数学(1.7对偶与范式)