离散数学- 第二章 命题逻辑的推理理论

¬，∧，∨，→，↔

第二章 命题逻辑的推理理论

学习目标：

1、理解简单合取式、简单析取式的概念。

命题变元及其否定统称为文字。
仅由有限个文字构成的析取式称作简单析取式。

例如：P，¬Q，P∨¬P，¬P∨Q，¬P∨¬Q∨¬R

仅由有限个文字构成的合取式称作简单合取式。

例如：P，¬Q，P∧¬P，¬P∧Q，¬P∧¬Q∧¬R

简单析取式和简单合取式有以下性质：

一个简单析取式是重言式，当且仅当它同时含某个命题变元及他的否定式。
例如：P∨¬P∨¬Q∨R ⇔ T∨¬Q∨R  ⇔ T
一个简单合取式是矛盾式，当且仅当它同时含某个命题变元及他的否定式。
例如：P∧¬P∧¬Q∧R ⇔ F∧¬Q∧R  ⇔ F

2、理解范式、小项、大项、主范式的概念。

5、掌握小项及大项的性质。

一个命题公式称为合取范式，当且仅当它具有形式：A1∧A2∧A3∧…∧An(n>=1),其中A1,A2,A3…An都是简单析取式。

例如：（P∨¬P） ∧ （Q∨¬R ） ∧ （¬Q∧¬R）是一个合取范式。

一个命题公式称为析取范式，当且仅当它具有形式：A1∨A2∨A3∨…∨An(n>=1),其中A1,A2,A3…An都是简单合取式。

例如：（P∧¬P） ∨ （Q∧¬R ） ∨ （¬Q∧¬R）是一个析取范式。

小项：

<