离散数学的定义与定理

                                    第一篇  数理逻辑

                                       第一章  命题逻辑

1.1  命题和联结词

定义1.1  

        0 和 1 称为 0元真值函数.

        设 n>1，称 到  {0,1} 的函数为 n元真值函数.

        真值函数也称为 联结词.

        用小写英文字母 p , q , r , s , t  等表示 命题变元，即在集合 {0，1} 中取值的变元.

        将真值函数在其自变量所有可能取值下得到的值列成的表称为 F 的真值表.

定义1.2

        1元联结词 (1元真值函数) ： 否定（非）， 

                                          记为： ，

                                      真值表：        

                                                      

定义1.3

        

1.2  公式和真值赋值

定义1.4

        命题变元称为 原子公式 .

定义1.5

        联结词优先级从高到低 ： .