联结词
----否定、合取
复合命题是用“联结词”将原子命题联结起来构成的. 归纳自然语言中的联结词,定义了六个逻辑联结词: (1)否定“?” (2)合取“∧” (3) 析取“∨”和异或“ ?” (4) 条件(蕴涵) “?” (5)双条件(等价)“?”或记做“?” 一. 否定“?” 表示:“…不成立”,“不…”. 用于:对一个命题P的否定,写成?P,并读成“非P”. ?P的真值:与P真值相反. 例 P:2是素数. ?P:2不是素数. P F T ?P T F 例1. P: 天津是一个城市.
Q: 3是偶数.
于是: ? P: 天津不是一个城市.
? Q: 3不是偶数. 例2. P:济宁学院处处清洁. Q:这些都是男同学.
? P:济宁学院不处处清洁. (注意,不是处处不清洁) ? Q:这些不都是男同学.
4
二. 合取“∧” 表示:“并且”、“不但…而且...”、“既…又 ...” “尽管…还… ”. 例 P:小王能唱歌. Q:小王能跳舞. P F F Q F T P∧Q F F P∧Q:小王能歌善舞. P∧Q读成P合取Q. T T F T F T P∧Q的真值为真,当且 仅当P和Q的真值均为真.
离散数学2联结词(否定、合取)
联结词----否定、合取复合命题是用“联结词”将原子命题联结起来构成的.归纳自然语言中的联结词,定义了六个逻辑联结词:(1)否定“?”(2)合取“∧”(3)析取“∨”和异或“?”(4)条件(蕴涵)“?”(5)双条件(等价)“?”或记做“?”一.否定“?”表示:“
推荐度:





点击下载文档文档为doc格式