设P是一元谓词，a是个体常项。下列属于正确的http://edu-image.nosdn.127.net/_PhotoUploadUtils_29279709-eaa1-4cd0-b022-46693a87fa20.png推演的有：
举一反三
- 设P是一元谓词，a是个体常项。下列属于正确的[img=25x27]180335d88530251.png[/img]推演的有： A: 从$xPx推出Pa B: 从xPx推出Pa C: 从Px推出Pa D: 从$xPx∧xØPx推出Pa
- 中国大学MOOC:设P、Q是一元谓词，a是个体常项。考虑如下推演关系：x(Px→ØQx)，├ØQa。现欲在横线上填入一个公式，使得该推演关系成立。以下公式中可填入的有：
- 设个体域D={a,b},使谓词公式xP(x)的真值为1的谓词P满足()。 A: P(a)=0，P(b)=0 B: P(a)=0，P(b)=1 C: P(a)=1，P(b)=0 D: P(a)=1，P(b)=1
- 设个体域{1,2}，谓词P(1)=1，P(2)=0，Q(1)=0,Q(2)=1，则∀x（P(x) ∨Q(x)）的真值是1。
- 设个体域{1,2}，谓词P(1)=1，P(2)=0，Q(1)=0,Q(2)=1，则[img=129x25]18032d917f336d7.png[/img]的真值是1。