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

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

1TheFoundations:LogicandProofs（逻辑与证明）

1.1PropositionalLogic（命题逻辑）

Propositions（命题）——declarativesentencethatiseithertrueorfalse,butnotboth.判断性语句，

正确性唯一。

TruthTable（真值表）

Conjunction（合取，“与”，and），Disjunction（析取，or，“相容或”），Exclusive（异或），

Negation（非，not），Biconditional（双条件，双向，ifandonlyif）

TranslatingEnglishSentences

1.2PropositionalEquivalences（命题等价）

Tautology（永真式、重言式），Contradiction（永假式、矛盾式），Contingency（偶然式）

LogicalEquivalences（逻辑等价）——Compoundpropositionsthathaveth