(1)2是素数且是偶数; 解:引入一元谓词:F(x)—x是素数 G(x)-x是偶数 命题符号化:a为2 (1)符号化为F(a)G(a)(0元谓词)解：引入一元谓词：F(x) ––– x是素数 G(x) ––– x是偶数 命题符号化：a为2 (1) 符号化为F(a) G(a)(0元谓词) (1) 2是素数且是偶数 ；