题海让大学四年没有难题
白天模式登陆

题目详情

多选题 关于命题演算的归结方法正确的表述是:( )

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

Copyright © 2022 津ICP备2021001502号