出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 命题函项 |
| 释义 | 命题函项 命题函项 亦称“命题函数”。除含常项外还含自由变项的逻辑公式。这里的常项指命题常项、个体常项和谓词常项。变项指命题变项、个体变项和谓词变项。命题函项本身无所谓真假,故不同于命题。只有以常项代入其中的变项,命题函项才成为真的或假的命题,如:在“x是偶数”这个命题函项中,“x”是变项,“是偶数”是常项。如代“x”以“2”“4”等数字,则形成真命题“2是偶数”“4是偶数”等;如代“x”以“1”“1/2”等,则形成假命题“1是偶数”“1/2是偶数”等。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 命题函项 除含有常项外还含有自由变项的逻辑公式。这里的常项指命题常项、个体常项和谓词常项。变项指命题变项、个体变项和谓词变项。一般地说,命题函项无所谓真假。如以常项代入其中的变项,那末命题函项就成为真的或假的命题,如:在“x是偶数”这个命题函项中,“x”是变项,“是偶数”是常项。如代“x”以“2”、“4”等数字,则形成真命题“2是偶数”、“4是偶数”等;如代“x”以“1”、1/2”等,则形成假命题“1是偶数”、“1/2是偶数”等。如果命题函项中的自由变项都加上全称量词或存在量词约束后,则可构成全称命题或存在命题。例如“凡x是偶数”是全称命题,“有x是偶数”是存在命题。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。