在一阶逻辑中将命题符号化、1一切人都不一样高,2每个自然数都有后继数,3有的自然数无先驱数、自然数n的后继数为n+1,n

2022-09-26 16:48:54   11次         反馈错误   加入收藏   正确率 : 100%  

• 优质答案解析