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

离散数学中,如何把“唯一”命题符号化?
原题:把“存在唯一的偶素数”命题符号化.
yangda10 1年前 已收到1个回答 举报

泺大 春芽

共回答了21个问题采纳率:85.7% 举报

a属于论域
P(x):x为偶素数

(ョx)P(x)∧((ョx)P(x)∧(ョy)P(y)→x=y)

1年前

3
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 2.774 s. - webmaster@yulucn.com