15.在谓词演算中是的有效结论，其理论依据是（ ） A． B． C． D． 16. 设个体域是整数集合P代表?x?y((x?y)?(x?y?x))，下面4个命题中为真的是( ) (A) P是真命题 (B) P是假命题 (C) P是一阶逻辑公式但不是命题 (D) P不是一阶邏辑公式 二、填空题 1. 设全体域D是正整数集合，确定下列命题的真值： (1) 　(　　)　　 (2) 求谓词公式的真值． 其中P：4?3Q（x）：x?1，R（x）：x?2． f（?3）=1f（1）=5，f（5）= ?3．a：5． 个体域D=（?31，5）． 解： = = 2.说明公式是逻辑有效式(永真式)． 解：因为是的代换实