题目详情
多选题 以下谓词蕴含式正确的是()
A. (∀x)A(x)∨(∀x)B(x)=>( ∀x) (A(x)∨B(x))
B. (∃x) (A(x)∧B(x))=>(∃x)A(x)∧(∃x)B(x)
C. (∀x) (A(x)→B(x))=>( ∀x)A(x)→(∀x)B(x)
D. (∀x) (A(x)↔B(x))=>( ∀x)A(x)↔(∀x)B(x)
学科:离散数学
时间:2024-01-14 04:36:28
相关题目
相关作业