《通识教育系列 逻辑新论》求取 ⇩

部一语句逻辑1

单元一导言，推理，论证，真假与有效性1

1.为什么学逻辑2

2.逻辑到底是讲什么4

3.归纳与演绎5

4.形式与有效性6

5.真假与有效性10

6.符号逻辑的本性12

7.符号逻辑的范围14

定义16

问答题17

习题17

单元二语句逻辑的结构19

1.简单语句与复合语句20

2.语句连词（运词）25

3.语句逻辑的结构与符示法26

定义30

问答题30

习题30

单元三真值计算33

1.连词（运词）的真值表34

2.真值计算42

3.真函连词（运词）45

4.非真函连词46

定义48

问答题48

习题49

单元四日常语言的符示51

1.简单语句52

2.真函复合与非真函复合54

3.日常连词的符示55

4.多重复合语句的符示64

习题69

单元五真值表与有效性的检试73

1.真值表基行的构作74

2.有效性的真值表检试78

3.短切有效性检试82

4.机械的决定程序88

定义90

问答题90

习题91

单元六真值表法的其他应用95

1.套套言，矛盾言，与适真言96

2.逻辑涵蕴与逻辑等值99

3.一致性102

4.叙说与叙说形式：真值表概念的应用103

5.四种真值表问题以及它们之间的关系104

定义106

问答题106

习题107

单元七证明方法：八个基本推演规则111

1.形式与代换例113

2.证明程序116

3.八个基本推演规则118

4.导衍与证明127

5.构作简单的证明129

6.构作较复杂的证明135

定义139

习题139

单元八取代规则147

1.取代规则的结构148

2.十个取代规则149

3.拿取代规则构作简单的证明159

4.较复杂证明的策略163

习题170

单元九条件证法与间接证法177

1.条件证法178

2.间接证法183

3.撤消假定；C.P.和I.P.的限制186

4.使用C.P.和I.P188

5.定理的证明192

6.无效195

7.真理与证明196

定义198

习题198

部二一元述词逻辑203

单元十单称语句203

1.单称语句与命题函题205

2.符示单称语句209

定义212

习题212

单元十一量词（号）215

1.全称量词与存在量词216

2.自由变词与约束变词；量号的范围221

3.否定量号222

定义227

习题227

单元十二类称命题229

1.四种类称命题230

2.个子，类，与性质234

3.范恩图解234

4.类称命题的符示238

5.否定类称命题241

6.从Q.N.规则导出C.Q.N.规则243

7.日常类称语句的符示243

定义249

习题249

单元十三合成主词与合成述词253

1.复主词与复述词254

2.等值符示259

习题264

单元十四量词（号）形式与量词叙说的真函复合267

1.量词（号）形式268

2.真函复合与量词形式269

3.真函复合的符示272

定义273

习题273

单元十五述词逻辑里的证明277

1.四个量号规则的初步叙述278

2.通称句式的实例280

3.全称例举规则（U.I.）与存在推广规则（E.G.）281

4.存在例举（E.I.）规则与全称推广规则（U.G. ）；打旗限制282

5.「纯」量号论证的证明构作290

6.含真函复合论证的证明构作295

7.量号定理的证明构作298

习题301

单元十六述词逻辑里的无效性305

1.自然解释法306

2.量号叙说的真值条件309

3.模体宇域法310

定义317

习题318

部三关系述词逻辑321

单元十七关系述词里的符示321

1.关系述词与单称语句322

2.多重量号326

3.量号否定333

4.类称关系叙说；复主词与复述词336

5.日常语句的符示340

习题346

单元十八关系述词逻辑的证明和无效性353

1.关系述词逻辑里的证明354

2.关系述词逻辑里的无效性362

习题365

单元十九等同与确定描述词369

1.等同叙说及其否言370

2.除外叙说与「唯有」叙说371

3.最高级叙说375

4.数值叙说376

5.确定描述词380

习题383

单元二十含等号的证明387

1.等号规则387

2.含等号叙说的证明391

等同规则摘要396

习题396

部四特加单元399

单元二十一语句逻辑的良形句式399

习题402

单元二十二语句逻辑波兰式记法403

习题405

单元二十三语句逻辑证明树法407

习题413

单元二十四使用范恩图解证明有效性415

习题421

单元二十五单画（nand）连词与剑号（nor）连词423

习题426

单元二十六述词逻辑证明树法427

习题438

有星号习题答案439

英中索引481

中英索引489

本书译者著作一览表497

本书编译者简介498