在一阶逻辑中将命题符号化、

题目

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

答案

不会