离散数学(1.3命题公式与翻译)