离散数学笔记_第一章:逻辑和证明(1)(上)

简介: 离散数学笔记_第一章:逻辑和证明(1)(上)

1.1.1 命题


1.命题:是一个能判断真假的陈述语句 。


注:必须是陈述语句,感叹、疑问、祈使等都不行


2.命题变量(语句变量):表示命题的变量。

(类似于用字母表示数值变量。)


3.真值:命题的值。

(真命题的真值为真,用T表示;假命题的真值为假,用F表示。)


4.原子命题:不能用简单的命题表示的命题。

(结构上不能再分解出其他命题的命题.又称简单命题。原子命题不能带有非,或,且,如果,那么等联结词。)


1.1.2 逻辑运算符


定义1: 否定联结词

p是命题,p的否定:┐p,读作:“非p”。


定义2: 合取联结词

令p和q为命题,p、q的合取 即“ p并且q ”,记作p∧q。

(逻辑乘)


📃 全真才真,一假则假


定义3: 析取联结词

令p和q为命题,p、q的析取 即“ p或q ”,记作p∨q。

(逻辑加)


📃 全假才假,一真则真


定义4: 异或联结词

令p和q为命题,p、q的异或:p、q中恰好只有一个为真时命题为真,否则为假。记作p⊕q。


📃 相同为假,相异为真

目录
打赏
0
0
0
0
14
分享
相关文章
详细解读C语言程序设计:现代方法(第2版)第二章全部习题答案
详细解读C语言程序设计:现代方法(第2版)第二章全部习题答案
64 0
数据库原理第三章课后题答案(第四版)
数据库原理第三章课后题答案(第四版)
295 0
上机实验3-3 Java面向对象编程(三)
上机实验3-3 Java面向对象编程(三)
417 0
上机实验3-1 Java面向对象编程(一)
上机实验3-1 Java面向对象编程(一)
167 0
上机实验3-2 Java面向对象编程(二)
上机实验3-2 Java面向对象编程(二)
244 0
离散数学笔记_第一章:逻辑和证明(1)(下)
离散数学笔记_第一章:逻辑和证明(1)(下)
153 0
离散数学笔记_第一章:逻辑和证明(3)
离散数学笔记_第一章:逻辑和证明(3)
274 0
(思维)(必要做题步骤)(皮卡丘与 Codeforces )D - 先来签个到
(思维)(必要做题步骤)(皮卡丘与 Codeforces )D - 先来签个到
125 0
AI助理

你好,我是AI助理

可以解答问题、推荐解决方案等