命題函項(xiàng)
命

命題函項(xiàng)　　　mìng tí hán xiàng

除含有常項(xiàng)外還含有自由變項(xiàng)的邏輯公式。這里的常項(xiàng)指命題常項(xiàng)、個(gè)體常項(xiàng)和謂詞常項(xiàng)。變項(xiàng)指命題變項(xiàng)、個(gè)體變項(xiàng)和謂詞變項(xiàng)。命題函項(xiàng)無(wú)所謂真假。如以常項(xiàng)代入其中的變項(xiàng)，那末命題函項(xiàng)就成為真的或假的命題，如：在“x是偶數(shù)”這個(gè)命題函項(xiàng)中，“x”是變項(xiàng)，“是偶數(shù)”是常項(xiàng)。如代“x”以“2”、“4”等數(shù)字，則形成真命題“2是偶數(shù)”、“4是偶數(shù)”等；如代“x”以“1”、“1/2”等，則形成假命題“1是偶數(shù)”、“1/2是偶數(shù)”等。如果命題函項(xiàng)加上全稱量詞或存在量詞，則它就成為全稱命題或存在命題。例如“凡x是偶數(shù)”是全稱命題，“有x是偶數(shù)”是存在命題。