考试
1970-01-01 08:00:00

要证明H1∧H2∧…∧Hn 蕴含(A→B),只需证明H1∧H

题目描述

要证明H1∧H2∧…∧Hn 蕴含(A→B),只需证明H1∧H2∧…∧Hn∧A蕴含B,其中A叫做附加前提,这种间接推理方法称为CP规则

答案解析

加载中...
AI正在思考中,请稍候...