离散数学
命题逻辑推理理论
推理
推理规则
自然推理系统
消解法 > 解证明推理问题