离散复习——数理逻辑、集合关系

逻辑与证明

命题逻辑

proposition 命题
negation 否定
Conjunction 合取
Disjunction 析取（inclusive or）
Implication 蕴涵，条件
Biconditional 等价

contrapositive 逆否
inverse 反
converse 逆

notation 符号
conditional-disjunction equivalence 蕴涵律（记住是=(not p) or q,不是and）
Tautologies 永真式
Contradictions 矛盾式
Contingencies 可能式\可满足式

谓词逻辑

predicate 谓词 P(x)
quantifier 量词 存在，任意
domain 域

集合关系

equivalence relation

reflecxive
symmetric (Antisymmetric)
transitive

equivalence classes

partial ordering(poset)

reflecxive
Antisymmetric
transitive

A partially ordered set in which every pair of elements has both a least upper bound and a greatest lower bound is called a lattice.

Recursive Definitions