西安电子科技大学$2.1.2量词软件学院【例题】设个体域为(1，2)，求(日x)(Vy)(x+y=4)的真值。解答：方法一(x)(Vy)(区+y=4)对应的汉语翻译为：“存在x对所有的y均有x+y=4”x,y的论域是(1,2)时不成立，所以真值为F。方法二、(日x)(Vy)(x+y=4)< (Vy)(1+y=4) V (Vy)(2+y=4)( ((1+1=4)^(1+2=4)) V (2+1=4)^(2+2=4)) (F^F) V (FΛT) FFF西安电子科技大学 软件学院 【例题】设个体域为{1, 2}，求(∃x)(∀y)(x+y=4)的真值。 方法一、 (∃x)(∀y)(x+y=4) 对应的汉语翻译为： “存在x对所有的y均有x+y=4” x,y的论域是{1,2}时不成立，所以真值为F。 解答： (∃x)(∀y)(x+y=4) ⇔ (∀y)(1+y=4) ∨ (∀y)(2+y=4) ⇔ ((1+1=4)∧(1+2=4)) ∨ ((2+1=4)∧(2+2=4)) ⇔ (F∧F) ∨ (F∧T) ⇔ F ∨ F ⇔ F 方法二、 §2.1.2 量词