如何把命题逻辑变成谓词逻辑?

“人是哺乳动物”的意思就是“所有人都是哺乳动物”
所以应该设S(x)代表“x是哺乳动物”,H(x)代表“x是人”,
（倒A打不出来,下面用“A”表示）
Ax H(x)→S(x)
当然说谓词逻辑可以得到很多命题也是不错的,比如设S(x)代表“x是牲畜”,H(x)代表“x是马”,那么刚才的命题就表示“（所有）马（都）是牲畜”,这是另一个真命题.
设S(x)代表“x>0”,H(x)代表“x是自然数”,刚才的命题变成“（所有）自然数（都）大于0”,这是一个假命题.
所以谓词逻辑中,一句话的真值取决于对这句话里谓词意义的解释.