如何判斷命題公式有多少種解釋
發布時間: 2023-05-15 00:36:59
❶ 命題公式分為幾類
命題公式分為三類：
給定一個命題公式，若對於其中的命題變項的任何一組賦值，命題公式對應的真值永遠為0，則稱該命題公式為矛盾式或永假式。
3、可滿足式
給定一個命題公式，若至少存在一組賦值使得該公式的真值為1，則稱該命題公式為兆冊可滿足式族判宏。
由定義可知，公式¬(P∧Q)¬P∨¬Q是永真式，公式¬(P→Q)∧Q是永假式，永真式的真值總是為1，因而是一沖旦種特殊的可滿足式
熱點內容