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

以下谓词蕴含式对的是                   。

题目描述

以下谓词蕴含式对的是                   。

答案解析

(∀x)A(x)∨(∀x)B(x)=>( ∀x) (A(x)∨B(x)) --- (∃x) (A(x)∧B(x))=>(∃x)A(x)∧(∃x)B(x) --- (∀x) (A(x)→B(x))=>( ∀x)A(x)→(∀x)B(x) --- (∀x) (A(x)↔B(x))=>( ∀x)A(x)↔(∀x)B(x)

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