一、命題公式の屬性
永真式（重言式）
任何真值指派都為真
可滿足式
存在一組真值指派為真
永假式（矛盾式）
任何真值指派都為假
判定方法：
1 真值表法
2 化成主析取表示式（σmi）/主合取表示式（πmi）
3 命題符號化並且化簡邏輯表示式
二、有效結論
1、有效結論的定義
前提 ->結論
前提為真，或結論為假，二者乙個成立就是有效結論
2、判定是不是有效結論
——熟練使用8條規則進行有效推理（p t cp f es eg us ug）
推理時候保證es規則首先使用；
使用ug規則的時候，由es引入的客體不能進行推廣
三、命題符號化
1）除非有時間我才去看電影
我去看電影->我有時間
2）我不承認你是對的，除非太陽從西邊出來
太陽不從西邊出來->我不承認你是對的
3）p當q......p->q
4）p僅當q.....q->p
5）p當且僅當q......p<->q
——把命題符號化時，全程量詞對應->,存在量詞對應合取
6）所有a都是b......(all x)(a(x)->b(x))
7)有些a滿足b......（exist x）（a（x）&& b(x)）
四、其他知識點（不斷更新中）
所有極小項的析取——永真式；
所有極大項的合取——永假式。
邏輯運算子的優先順序（從高到低）：
非 並 或 推出 等價。
離散數學 數理邏輯
命題邏輯的基本概念 1.什麼是命題？存在唯一真值的陳述句。2.邏輯運算 設p為一命題，則復合命題 p為p的否定。規定 p為真當且僅當p為假。設p,q為兩個命題，則復合命題p，q的合取式用p q表示。規定p q為真當且僅當p，q同時為真。設p,q為兩個命題，則復合命題p，q的析取式用p q表示。規定p...
離散數學 數理邏輯
斷言 陳述語句。命題 非真即假的斷言。悖論 不能判斷真假的斷言。不是命題。原子命題 本原命題 乙個命題，不能分解成更簡單的命題。命題聯接詞 否定詞 合取詞 析取詞 蘊含詞 等值詞 特別 蘊含詞 p q的真值表特例 0 11 由蘊含詞引出 逆命題，反命題，逆反命題的概念。命題變元和命題公式 命題變元 ...
離散數學之數理邏輯01
離散數學教程 耿素雲，屈婉玲，王捍貧，北京大學出版社 數理邏輯 離散數學第一分冊 王捍貧，北京大學出版社 參考書 離散數學習題解析 耿素雲，屈婉玲，王捍貧 北京大學出版社 2008年 面向電腦科學的數理邏輯 陸鐘萬 北京大學出版社 1989 第二版 科學出版社 1998 電腦科學中的邏輯學 王元元 ...