1. 首頁 > 生活經驗 > >

永真式的否定是什么

生活百科否定


永真式的否定是什么

文章插圖
永真式的否定是永假式 。給定一命題公式 ， 若無論對分量作怎樣的指派，其對應的真值永為T ， 則稱該命題公式為永真公式或者重言式 。由聯結詞∨、∧、→和聯結的重言式仍是重言式 。
【永真式的否定是什么】如果對任意一個賦值V，都有V[A]=0，即公式A對任一賦值均取“假”值，則公式A為矛盾式 。在邏輯演算中，公式按取值情況分為三種：對任一賦值都取“真”值的為恒真式，恒真式在命題演算中為重言式，在謂詞演算中即為普遍有效式；對某些賦值取“真”值、對某些賦值取“假”值的為可滿足但非恒真式；還有一類即為矛盾式 。其中普遍有效式表達一定的邏輯規律，而矛盾式則表達一的邏輯矛盾 。