公式層次：單個的命題變項a是0層公式。
如果a是n層公式，b是m層公式，那麼￢a是n+1層公式；c=a∧b,c=a∨b,c=a→b,c=a↔b的層次是：max(n,m)+1。
比如（￢(p→￢q) ∧((r∨s) ↔￢q)的層次計算就是：
0 1 0 0 1
2 1 1
3 2
4層公式
設p1,p2,p3…pn是公式a中的全部與命題變項，那麼給它們各指定乙個真值，這就是a的乙個賦值/解釋。若使a=1，則是成真賦值，否則就是成假賦值。
所以含有n（n≥1）個命題變項的公式有2n個不同賦值。
真值表：把命題公式a在所有賦值下取值情況列成的表。
例：寫出（￢p∧q）→￢r的真值表，並求它的成真賦值和成假賦值。
p q r
￢p￢p∧q
￢r(￢p∧q) →￢r
0 0 010
110 0 110
010 1 011
110 1 111
001 0 000
111 0 100
011 1 000
111 1 100
01所以成假賦值為011。000,001,010,100,101,110,111為成真賦值。
如果a在所有賦值下均為真，則a是重言式或永真式，如果所有賦值下均為假，則為矛盾式或永假式。如果a不是矛盾式，那a就是可滿足式。
如果a是可滿足式，那麼a至少有乙個成真賦值。如果a是可滿足式，而且有至少乙個成假賦值，則a是非重言式的可滿足式。
（真值表最後一列全1則為重言式，全0則為矛盾式，至少有1個1，則為可滿足式）
如果a和b構成的a→b是重言式，那麼a與b是等值的，記作a⇔b。可以用真值表確定a↔b是不是重言式，來判斷a是否與b等值，也可以判斷a與b的真值表是否相同來確定a⇔b還是a⇎b。
16組常用的重要等值式模式：
1、a⇔￢￢a
2、a⇔a∨a，a⇔a∧a
3、a∨b⇔b∨a，a∧b⇔b∧a
4、(a∨b) ∨c⇔a∨(b∨c)，(a∧b) ∧c⇔a∧(b∧c)
5、a∨(b∧c)⇔(a∨b) ∧(a∨c)，a∧(b∨c)⇔(a∧b) ∨(a∧c) 分配率
6、￢（a∨b）⇔￢a∧￢b，￢(a∧b)⇔ ￢a∨￢b
7、a∨(a∧b)⇔a，a∧(a∨b)⇔a 吸收率
8、a∨1⇔1，a∧0⇔0
9、a∨0⇔a，a∧1⇔a
10、a∨￢a⇔1
11、a∧￢a⇔0
12、a→b⇔￢a∨b
13、a→b⇔(a→b) ∨(b→a)
14、a→b⇔￢b→￢a
15、a↔b⇔￢a↔￢b
16、(a→b) ∧(a→￢b)⇔ ￢a
離散數學 數理邏輯基本概念
邏輯學是探索 闡述和確立有效推理原則的學科。這個問題可以追溯到亞里斯多德提出的三段論 即包含大前提 小前提和結論三個部分的論證。凡是人都會死 大前提 蘇格拉底是人 小前提 所以 蘇格拉底會死 結論 上述為三段論中最著名的乙個例子。用數學的方法研究關於推理 證明等問題的學科就叫做數理邏輯 亦稱為符號邏...
離散數學隨筆2
1.劃分 乙個由集合x的非空子集的整體組成的s，如x的每乙個元素都只屬於s的某乙個元素，s就成為x的乙個劃分。所劃分的集合之間不交叉 2.二元組基本可以表示所有的資料結構，如lisp點對。3.集合x到y的函式f是笛卡爾積x y的子集，每乙個x都有唯一的y與之對應，不研究多值函式。md5是雜湊函式，已...
離散數學學習筆記 命題邏輯的基本概念
參考書目 離散數學 屈婉玲 命題 非真即假的陳述句。悖論不是命題，如 我正在說假話。例題1.4 2 將下列命題符號化 張曉靜只能挑選202或203房間。解 p 張曉靜挑選202房間。q 張曉靜挑選203房間。由題意知 這個或為排斥或，這個女人不可能同時挑選202或203房間。因此符號化為 例1.5 ...