命题公式的复习回顾.pdf

命题公式

高贝贝

1344220150@

哲学与社会发展学院

逻辑与分析哲学研究中心

1复习回顾

主要内容

2命题公式

3命题公式的真值判定

•命题联结词符号

•并非（否定式）

•并且（合取式）

•或者（析取式）

•→如果，那么（蕴涵式）

•当且仅当，才（等值式）

命题公式

（命题形式、真值形式）

命题形式（命题公式）：命题联结词和命题变元所构成的形式结

构。

命题公式有两种成分：

代表具体内容的命题变元；

连接或组合命题变元的结构成分。（命题联结词）

例如：

如果下雨，那么地面就会湿。

→

命题联命题变元

结词

公式

按照以下方式规定某个符号串是否是命题公式（简称为公式）。

(1)所有命题变元都是公式。

(2)如果A是公式，那么A也是公式。

(3)如果A和B是公式，那么(AB)、(AB)、(A→B)也

都是。

(4)只有通过以上规则得到的符号串才是公式。

根据公式的形成规则，我们可以判定任一符号串是不是公式。

例如

,,,,,,,,

01234…….

..(..)(..)(..)

,,,,,,,,

01234…….

..(..)(..)(..)

,

，（），（），（）

（），

…………

,,,,,,,,

01234…….

..(..)(..)(..)

,

，（），（），（）

（），

…………

((→)∧(→¬))→¬

((→)∧(→)∧(∧))→(∧)

公式的主联结词：在公式的形

(((→)∧(→)∧(∧))→(∧))