标签：结果   函数   顺序   xor   结构   约束   离散   基本结构   异或   

第一章 基础：逻辑和证明

• 命题（proposition）：真或假的陈述句
• 否定：￢（!、not、非、补）
• 合取：∧（&&、and、且、交）
• 析取：∨（||、or、或、并）
• 异或：⊕（xor）
  只有一个为真时为真，其余为假（相同为假，不同为真）
• 条件语句：→（蕴含）
  p→q，p真q假为假，其余全为真（p为自然语言中的“条件”，q为自然语言中的“结果”）

• 双条件语句：?（双蕴含）
  只有一个为真时为假，其余为真（相同为真，不同为假）

• 永真式（重言式）：真值为永远真
• 矛盾：真值为永远假
• 可能式：真值可能真可能假

• 逻辑等价：≡
  p?q为永真式

• 命题函数：P(x1, x2, x3, ..., xn)
  变量+谓词

• 量词：全称量词，存在量词，约束论域量词

• 推理规则：假言推理、取拒式、假言三段论、析取三段论、附加、简化、和取、消解

• 证明方法：直接证明、反证法、归谬证明、穷举证明、分情形证明

第二章 基本结构：集合、函数、数列与求和

集合

• 幂集合：包括全部子集的集合（2^n个元素）
• 笛卡尔积：按乘的顺序生成组合过的集合

函数

f指派给A中元素a的惟一的B中元素是b，就写成f(a) = b。如果f是从A到B的函数，就写成f:A->B（函数有时也被称作映射或变换）

• 反函数：对应关系对调
• 函数组合：(f?g)(x) = f(g(x))

离散数学

标签：结果   函数   顺序   xor   结构   约束   离散   基本结构   异或   

原文地址：https://www.cnblogs.com/jffun-blog/p/9251806.html