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

当个体域为有限集时,如D={a1,a2,…,an},对任意谓

题目描述

当个体域为有限集时,如D={a1,a2,…,an},对任意谓词A(x)都有( )。

答案解析

∀xA(x)⇔A(a1)∧A(a2)∧…∧A(an) --- ∃xA(x)⇔A(a1)∨A(a2)∨…∨A(an)

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