问题描述：
在一阶逻辑中将命题符号化、
1一切人都不一样高,2每个自然数都有后继数,3有的自然数无先驱数、自然数n的后继数为n+1,n=0,1,2…自然数n的先驱数为n-1,n=12,…
1一切人都不一样高,2每个自然数都有后继数,3有的自然数无先驱数、自然数n的后继数为n+1,n=0,1,2…自然数n的先驱数为n-1,n=12,…
问题解答：
我来补答展开全文阅读