单选题 在谓词演算中，P（a）是xp(x)的有效结论，根据是（ ）。