数学
离散数学中,如何把“唯一”命题符号化?原题:把“存在唯一的偶素数”命题符号化.

2019-04-03

离散数学中,如何把“唯一”命题符号化?
原题:把“存在唯一的偶素数”命题符号化.
优质解答
a属于论域
P(x):x为偶素数

(ョx)P(x)∧((ョx)P(x)∧(ョy)P(y)→x=y)
a属于论域
P(x):x为偶素数

(ョx)P(x)∧((ョx)P(x)∧(ョy)P(y)→x=y)
相关标签: 离散数学 唯一 命题 素数
相关问答