命题函项的词语属性

命题函项的百科含义

这个概念是现代逻辑学即数理逻辑的起点，而这个起点要归功于弗雷格。