逻辑与证明
命题逻辑
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
标签：Antisymmetric,复习,equivalence,bound,离散,reflecxive,集合,transitive,数理逻辑 From： https://www.cnblogs.com/szsz/p/16995198.html