谓词逻辑的变元代入实例后一样具备真假。
命题逻辑的变元不代入实例一样不具备真假。

命题和命题函数,，应该仔细分开。
命题，有真假值；如、张三是人。
命题函数，不能说它有无真值，只能说它“变成”哪个命题。
如、【某人是人】可以“变成”【张三是人】：前者没有真假值，后者有真假值。
如、【某人是人】可以“变成”【月亮是人】：是论域瞎变，后者没有真假值。

【两个谓词表达式的、逻辑等值】，其实是省略了该逻辑等值式的量词，而不是没有量词。

1、x是人。
2、并非y不是人。
如果x、y均指张三，那两个命题的真值相同，是等值的。
同理，x、y只要取值一样，那两个命题就总是等值的，
所以，1和2两个句子逻辑等值
【并非y不是人】可以化简为【y是人】。
【y是人】就是【x是人】。
【这两个命题函项，形式相同，当然是等值的。】

顶顶顶顶顶顶顶顶顶顶顶顶顶顶顶顶顶顶顶顶顶顶顶顶