西安电子科技大学例题>》软件学院家茶家【例题】设个体域为(1，2)，给出谓词(日x)P(区,y)的赋值指派。P(x,y): x+y=4解答：含义真值(日x)P(区,y)Fy=1(日x)P(区,1)存在x，x+1=4Ty=2(日x)P(x,2)存在x，x+2=4西安电子科技大学 » 例题 软件学院 【例题】设个体域为{1, 2}，给出谓词(∃x)P(x,y)的赋值指派。 解答： P(x,y): x+y=4