请问如何将这句命题用谓词逻辑符号化:任何自然数都有唯一的后继数

fffxxxfff 1年前 已收到1个回答 举报

popo1014 幼苗

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

形式抽象得到:      SAP

1年前

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