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

a属于论域 P(x):x为偶素数 则 (ョx)P(x)∧((ョx)P(x)∧(ョy)P(y)→x=y)
离散数学中,如何把“唯一”命题符号化?
mengvlog 阅读 13 次 更新于 2025-12-18 17:21:27 我来答关注问题0
萌文网在线解答立即免费咨询

符号相关话题

Copyright © 2023 WEN.MENGVLOG.COM - 萌文网
返回顶部