• 2022-06-17
    __1__ 是从一组已知为真的事实出发,直接运用经典逻辑的推理规则推出结论的过程