命題永假公式

命題永假公式(falsehood propositional for- mina)亦稱不可滿足公式、矛盾式等一種命題公式,對於任何指派其真值總是假的命題公式稱為命題的永假公式.例如}pnp是一個永假公式一個公式a是永假的若且唯若門a是永真的.

相關詞條

熱門詞條

聯絡我們