离散数学量词,谓词与命题公式及其赋值
发布人