归谬,

p>归谬法是证明定理的一种方法,先提出跟 a target"_blank href"
推理系统 p 推理规则 直接证明法 附加前提证明法 归谬法
归谬法 百度文库
归谬法
离散数学知识点整理(一)