(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是素数且是偶数 ；
(2)如果2大于3,则2大于4 解:引入二元谓词:L(xy)x比y大 命题符号化:沩2,b3,c为4 (2)符号化为L(a,b)→L(a,c)
解：引入二元谓词：L(x, y)––– x比y大 命题符号化：a为2 ,b为3，c为4 (2) 符号化为L(a,b) → L(a, c) (2) 如果2大于3，则2大于4 ；
(3)如果张明比李民高,李民比赵亮高, 则张明比赵亮高 类似于(2),自己做!
类似于(2)，自己做！ (3) 如果张明比李民高，李民比赵亮高， 则张明比赵亮高 ；
考虑以下形式命题的符号化 (1)所有的人都是要死的 (2)有些人活百岁以上
(1) 所有的人都是要死的; (2) 有些人活百岁以上; 考虑以下形式命题的符号化:
量词 表示数量的词,分全称量词与存在量词。 V:一切、所有的、任意的 彐:存在着、有一个、至少有一个 Vx:个体城中所有个体 x:存在个体域中某个个体 VxF(x):个体域中所有个体具有性质F; 彐xF(x):存在着个体域中某个个体具有性质F
量 词 表示数量的词，分全称量词与存在量词。 ：一切、所有的、任意的 ； ：存在着、有一个、至少有一个 ； x：个体域中所有个体 ； x：存在个体域中某个个体 ； xF(x)：个体域中所有个体具有性质 F ； xF(x)：存在着个体域中某个个体具有性质F