2022年12月20日
离散复习——数理逻辑、集合关系
摘要： 逻辑与证明 命题逻辑 proposition 命题 negation 否定 Conjunction 合取 Disjunction 析取（inclusive or） Implication 蕴涵，条件 Biconditional 等价 contrapositive 逆否 inverse 反 conve 阅读全文
posted @ 2022-12-20 23:54 sz[sz] 阅读(202) 评论(1) 推荐(0)