离散数学之命题逻辑一

引子：老是弄程序，换换口味，今天我们来讲一讲离散数学中的命题逻辑！

哈哈哈，罗马不是一天建成的，我们不可能通过小小一篇博客全部讲解完,所以我打算一点一点讲

部分一：命题

什么是命题？《定义》：  具有唯一真值的陈述句叫命题

1，命题可以是真的，或者是假的，但不能同时为真又为假。

2，命题分为复合命题与原子命题

3，命题中所有的“真”用“Ｔ”表示， 命题中所有的“假”用“Ｆ”表示。

部分二：命题联结词

1，否定：符号 ¬ ,读作“非”

2，合取词（“合取”、“积”、“与”运算），符号　“Λ”  当且仅当Ｐ和Ｑ的真值均为“Ｔ”，则（ＰΛＱ）的真值为“Ｔ”。否则，其真值为“Ｆ”。

3，析取词（或运算）符号“∨”  当且仅当Ｐ、Ｑ均为“Ｆ”时，（Ｐ∨Ｑ）为“Ｆ”。否则，其真值为“Ｔ”

4，单条件联结词  符号“→”，读作：“如果…则…”、“蕴含”   当Ｐ为“Ｔ”，Ｑ为“Ｆ”时，则

（Ｐ→Ｑ）为“Ｆ”，否则（Ｐ→Ｑ）均为“Ｔ”

５．双条件联结词 符号“↔”“ Ｐ当且仅当Ｑ”，“Ｐ等价Ｑ”,“Ｐ是Ｑ的充分必要条件

优先级：¬    >   Λ     >   ∨  >  →  >  ↔

部分三：命题公式

1，命题公式：由命题变元、常元、联结词、括号，以规定的格式联结起来的字符串

2，《定义》：命题公式可按下述法则来生成：

１）孤立的命题变元是一个命题公式。

２）若Ａ是命题公式，¬Ａ也为命题公式。

３）若Ａ、Ｂ是命题公式，则（ＡΛＢ）、（Ａ∨Ｂ）、（Ａ→Ｂ）、（Ａ↔Ｂ）均为命题公式.

3，定义：命题公式A在其所有可能的赋值下取得的值列成的表称为A的真值表。

4，命题公式的永真式、永假式和可满足式

设公式Ａ中有n个不同的原子变元p1,…pn,(n为正整数)。该变元组的任意一组确定的值（ u1,…un）称为Ａ关于p1,…pn的一个完全指派，其中ui或为Ｔ，或为Ｆ。如果对于Ａ中部分变元赋以确定值，其余变元没有赋以确定的值，则这样的一组值称为公式Ａ的关于该变元组的部分指派。

凡使公式Ａ取真的指派称为Ａ的成真指派

如果一个命题公式的所有完全指派均为成真指派，则该公式称为永真式。如果一个命题公式的所有完全指派均为成假指派，则该公式称为永假式。既不是永真式，又不是永假式，则称此命题公式是可满足式

注意：二个永真式的析取、合取、蕴含、等价均为永真式

部分四：等价式

定义：如果对两个公式Ａ，Ｂ不论作何种指派，它们真值均相同，则称Ａ，Ｂ是逻辑等价的，亦说Ａ（Ｂ）等价于Ｂ（Ａ）。记作：Ａ<=>Ｂ

规律：

（1）双重否定律  ¬¬p<=>p

（2）同等律 pvp<=>p或pΛp<=>p 

//以下我不一 一写了，有自己思考！（奸笑）

（3）交换律 

（4）结合律 pv(QvR)<=>(pvQ)vR

（5）分配律 pv(QΛR)<=>(pvQ)Λ(pvR) 或pΛ(QvR)=(pΛQ)v(pΛR)

（6）摩根律 

（7）吸收律     pv(pΛQ)<=>p或pΛ(QVp)<=>p

  ( 8）蕴含律

  ( 9）等价律

（10）零　律　　Ｐ∨Ｔ<=>Ｔ；ＰΛＦ<=>Ｆ

（11）同一律　　Ｐ∨Ｆ<=>Ｐ；ＰΛＴ<=>Ｐ

（12）互补律　

（13）输出律　ＰΛＱ→Ｒ<=>Ｐ→（Ｑ→Ｒ）

（14）归缪律　

（15）逆反律　　Ｐ→Ｑ <=>¬Ｑ→ ¬Ｐ

注意：Λ、∨、 ↔均满足结合律，则在单一用Λ、∨、↔联结词组成的命题公式中，括号可以省去。

今天就到这里了！

下一次我将讲：永真蕴含式