离散数学一阶逻辑命题符号化 ppt课件