离散数学中,如何把“唯一”命题符号化?原题:把“存在唯一的偶素数”命题符号化.
问题描述：
离散数学中,如何把“唯一”命题符号化?
原题:把“存在唯一的偶素数”命题符号化.
答
a属于论域
P（x）：x为偶素数
则
(ョx)P(x)∧（(ョx)P(x）∧(ョy)P(y)→x=y)