rAO 國②☒级2双 命题函项 光 按照传统逻辑，命题 “第欧根尼是人”被分析为主 词“第欧根尼”和谓词“人，宙系动词“是”联 结而成。 咒 按照弗雷格的分析，这个命题应被分析为命题函项 “x是人”和x的值“第欧根尼”这样两部分。 8粥 弗雷格还把自然语言的联词形式化为逻辑联词符号。 这些符号是： 咒 1.表示析取关系(“和”)的符号或∩ 粥2.表示合取关系(“或”)的符号U 3.表示蕴涵关系（如果，那么）的符号→或 光 4表示等同关系（“等于”)的符号=或= 6 5.表示否定关系的符号7 命题的真值：正确T,错误F。 普遍量词∀(x):V(x)F(x); 9咒 存在量词3(x):3(x)G(x)命题函项