真值函項(xiàng)
真

真值函項(xiàng)　　　zhēn zhí hán xiàng

亦稱“真值函數(shù)”。即一個(gè)函數(shù)本身的值與其自變元的值均為真值。在現(xiàn)代命題邏輯中，由于一個(gè)復(fù)合命題的真值取決于其支命題的真值，因而一個(gè)復(fù)合命題也就是其支命題的一個(gè)函項(xiàng)，即命題函項(xiàng)。設(shè)f(p, q)表示關(guān)于命題變項(xiàng)p、q的函項(xiàng)，p、q及f(p, q)均取真值，而且p、q的值完全決定f(p, q)的值，則f(p, q)是真值函項(xiàng)。比如，以f(p, q)表示“∨(p, q)”即“p∨q”時(shí)，則當(dāng)p真q真、p真q假、p假q真時(shí)，f(p, q)真，而在p假q假時(shí)，f(p, q)為假。因此命題演算中由命題聯(lián)結(jié)詞組成的公式都是真值函項(xiàng)。