离散数学中,如何把“唯一”命题符号化?

问题描述:

离散数学中,如何把“唯一”命题符号化?
原题:把“存在唯一的偶素数”命题符号化.
1个回答 分类:数学 2014-11-19

问题解答:

我来补答
a属于论域
P(x):x为偶素数

(ョx)P(x)∧((ョx)P(x)∧(ョy)P(y)→x=y)
 
 
展开全文阅读
剩余:2000