西安电子科技大学S2.1.2量词软件学院【例题】设谓词P(×)：x是素数，E(×):x是偶数，D(区,y)：x能整除y，变元x的论域为整数集合I，将以下命题翻译成汉语，并确定其真值。(1) P(7)7是素数T(2) E(2) ^ P(2)T2是偶数且是素数(3) (Vx)(D(2,x)-E(×)T对于任一整数x，如果2能整除，则x是偶数(4) (日x)(P(×) ^ D(4,x) )F存在能够整除4的素数西安电子科技大学 软件学院 【例题】设谓词P(x): x是素数，E(x): x是偶数，D(x,y): x能 整除y，变元x的论域为整数集合I，将以下命题翻译成汉语， 并确定其真值。 T (1) P(7) (2) E(2) ∧ P(2) (3) (∀x)( D(2,x)→E(x)) (4) (∃x)( P(x) ∧ D(4,x) ) 7是素数 2是偶数且是素数 对于任一整数x，如果2能整除x，则x是偶数 存在能够整除4的素数 T T F §2.1.2 量词