使用间接证明法进行演绎法推理的时候,是把结论的否定作为附加前提引入,然后推导出一个矛盾式

  尔雅 智慧树 mooc


+
账户
更新
搜索
帮助
主页