题目详情
多选题 关于命题演算的归结方法正确的表述是:( )
A. A∧B∧C成立的条件下有D成立,即A∧B∧C→D是重言式
B. 证明A∧B∧C→D,就是假设A∧B∧C∧D成立,然后找出矛盾
C. A∧B∧C→D是重言式等价于¬(A∧B∧C→
D. 是永假式
E. 证明A∧B∧C→D,就是假设A∧B∧C∧¬D成立,然后找出矛盾
学科:人工智能基础
时间:2025-05-11 00:02:04
相关题目