问题标题:
离散数学中,如何把“唯一”命题符号化?原题:把“存在唯一的偶素数”命题符号化.
问题描述:
离散数学中,如何把“唯一”命题符号化?
原题:把“存在唯一的偶素数”命题符号化.
李跃中回答:
a属于论域
P(x):x为偶素数
则
(ョx)P(x)∧((ョx)P(x)∧(ョy)P(y)→x=y)
点击显示
数学推荐
热门数学推荐