博文
间接证明的形式
|
间接证明（Indirect Proof）的形式
下列规则属于自然演绎推理系统的规则。
① A AIP
② A→B 前提引入
③ B ①②MP
④ ¬B 前提引入
⑤ B∧¬B ③④Conj
⑥ ∴ ¬A IP
https://blog.sciencenet.cn/blog-626289-1365259.html
上一篇：[转载]2022年中国逻辑学会第五届全国学术大会
下一篇：[转载]中国自然辩证法研究会2022年学术年会成功举办
