以下為您提供一些離散型數學邏輯與證明的例題:
例 1:給出 ┐(P ∧Q)?( ┐P ∨┐Q) 的真值表。
解:一般來說,n 個命題變元組成的命題公式共有 2^n 種真值指派。
P Q ┐(P ∧Q) ? ( ┐P ∨┐Q)
0 0 1
0 1 1
1 0 1
1 1 1
例 2:用等值演算法證明下列等值式:
規則⑧ R∧┐R⑤⑦合取
(6)
① ┐(R∨S) 結論否定引入
② ┐R∧┐S①置換規則
③ ┐R②化簡規則
④ P →R 前提引入
⑤ ┐P③④拒取
⑥ ┐S②化簡規則
⑦ Q → S 前提引入
⑧ ┐Q⑥ ⑦拒取
⑨ ┐P∧┐Q⑤⑧合取
⑩ ┐(P∨Q )⑨置換規則
(11) P∨Q 前提引入
(12) ┐(P∨Q )∧(P∨Q )⑨11 合取
點擊前往免費閱讀更多精彩小說