这个概念是现代逻辑学即数理逻辑的起点，而这个起点要归功于弗雷格。编辑本段命题函项{转自中山大学黄敏教授的微博}编辑本段例题下面介绍弗雷格是如何分析命题的。弗雷格通过对函数的语义学研究对命题进行分析的基本模式。看这样一个函数式:(1)y=x+3在代数中，"x"和"y"被称为变量，"x"又叫自变量或主目，"y"又叫因变量或函数值，函数式(1)表示这两个变量之间的关系。这一点可以用一种更为普遍的形式表达:(2)y=f(x)我们用"f()"来表示这种关系。把其中的变量赋值，就得到完整的数学命题。通常我们会把这种关系称为函数。在集合论中，函数可以用映射来表达。我们分别为两个变量指定变域，每当x取一个值，y就在其值域中取唯一值。x的不同取值不一定要对应于y的不同取值，不同x值可以取同一个y值，所以这种对应关系是一种多对一的关系。如果把(2)称为对函数的代数表达，而把多对一关系的表达称为集合论表达，那么对函数的代数表达与集合论表达在数学上等价。我们会看到这种等价关系在弗雷格那里得到体现。到此为止我们还没有考虑语义。如果考虑语义就会发现一个问题。现在问，在上