|
间接证明(Indirect Proof)的形式
下列规则属于自然演绎推理系统的规则。
① A AIP
② A→B 前提引入
③ B ①②MP
④ ¬B 前提引入
⑤ B∧¬B ③④Conj
⑥ ∴ ¬A IP
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-9-1 09:20
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社