逻辑 Flashcards
1
Q
命题三要素
A
2
Q
合取及真值表
A
3
Q
析取及其真值表
A
4
Q
蕴含运算符及其真值表
A
5
Q
蕴含的等价形式
A
6
Q
真值表行数、列数与变元数、运算符数的关系
A
7
Q
逆命题、逆否命题、反命题
A
8
Q
命题公式的分类
A
9
Q
逻辑等价式是什么？
A
10
Q
逻辑等价式表
A
11
Q
如何证明逻辑等价及例子
A
12
Q
谓词逻辑的基本等价式
A
13
Q
谓词逻辑等价式的应用
A
第三行Q（x）前漏了否定
14
Q
推理规则
A
推荐规则没有的
15
Q
全称（存在）实例、引入
A
16
Q
推理的例题
A
17
Q
命题逻辑的应用：系统规范说明
A
18
Q
命题等价式、推理规则没有的式子
A
19
Q
反证法与归谬法
A
20
Q
谓词逻辑：（量词）任意、存在的转换
A
21
Q
谓词逻辑：（量词）任意、存在的转换
A
22
Q
嵌套量词
A
