命题函项

除含有常项外还含有自由变项的逻辑公式。这里的常项指命题常项、个体常项和谓词常项。变项指命题变项、个体变项和谓词变项。命题函项无所谓真假。如以常项代入其中的变项，那末命题函项就成为真的或假的命题，如：在“x是偶数”这个命题函项中，“x”是变项，“是偶数”是常项。如代“x”以“2”、“4”等数字，则形成真命题“2是偶数”、“4是偶数”等；如代“x”以“1”、“1/2”等，则形成假命题“1是偶数”、“1/2是偶数”等。如果命题函项加上全称量词或存在量词，则它就成为全称命题或存在命题。例如“凡x是偶数”是全称命题，“有x是偶数”是存在命题。