离散数学及其应用重要名词中英对应以及重要概念解释与举例.docx

离散数学及其应用重要名词中英对应以及重要概念解释与举例1 The Foundations: Logic and Proofs（逻辑与证明）1.1 Propositional Logic（命题逻辑）Propositions（命题）——declarative sentence that is either true or false, but not both.判断性语句，正确性唯一。Truth Table（真值表）Conjunction（合取，“与”，and），Disjunction（析取，or，“相容或”），Exclusive（异或），Negation（非，not），Biconditional（双条件，双向，if and only if）Translating English Sentences1.2 Propositional Equivalences（命题等价）Tautology（永真式、重言式），Contradiction（永假式、矛盾式），Contingency（偶然式）Logical Equivalences（逻辑等价）——Compound propositions that have the same truth values in all possible cases are called logical equivalent.（真值表相同的式子，p-q是重言式）Logical Equivalences——Page24Disjunctive normal form(DNF，析取范式)Conjunctive normal form(CNF，合取范式) 见Page27～291.3 Predicates and Quantifiers（谓词和量词）Predicates——谓词，说明关系、特征的修饰词Quantifiers——量词? Universal Quantifier(全称量词) 全部满足? Existential Quantifier(存在量词) $至少有一个Binding Variables(变量绑定，量词作用域与重名的问题)Logical Equivalence Involving QuantifiersNegating Quantified Expressions(量词否定表达：否定全称=存在否定，否定存在=全程否定)Translating from English into Logical Expressions(自然语句转化为逻辑表达)Using Quantifiers in System SpecificationsExamples from Lewis Carrol——全称量词与条件式(p-q)搭配，存在量词与合取式搭配。1.4 Nested Quantifiers（量词嵌套）Page59 12、13xyP(x,y) ? y x P(x,y)$x $yP(x,y) ? $y$xP(x,y)xyP(x,y) T $yxP(x,y)yxP(x,y) T $xyP(x,y)$xyP(x,y) T y$xP(x,y)$yxP(x,y) T x$yP(x,y)x$yP(x,y) T $y$xP(x,y)y$xP(x,y) T$x$yP(x,y)Prenex normal form(PNF 前束范式)：所有量词变换到最前面，否定变换到后面。1.5 Rules of Inference(推理规则)Valid Arguments in Propositionnal Logic(命题逻辑中的正确论点)Premises(前提)——all but the final proposition in the argumentConclusion(结论)Rules of Inference for Propositionnal LogicPage 66～67，证明方法及过程示范Resolution(归结): ((p∨q) ∧(┐p ∨r)) →(q ∨ r) 合取，若两子句有互补文字，则可消去。Fallacies(谬论)Rules of Inference for Quantified StatementsUniversal instantiation(全称量词实例化)Universal generalization(全称量词一般化)Existential instantiation(存在量词实例化)Existential generalization(存在量词一般化) Page 70以上四点，其实就是一般和特殊之间的转换。名字是骗人的。1.6 Introduction to ProofsDirect proof:证明p-qProof by Contraposition:对位证明，通过证明其逆反命题来证明原命题Vacuous