关于逻辑推理的一点问题(离散数学)