Discrete Mathematics
文章平均质量分 87
Skyshin34
专注于Unity学习和C#桌面开发
展开
-
Predicates and Quantifiers
1-3章在学习Propositional logic条件逻辑,现在开始学习predicate logic谓语逻辑。原创 2024-10-07 19:24:07 · 504 阅读 · 0 评论 -
The Foundations :Logic and Proofs
1.通常对P→Q进行运算时, 不如用 P∨Q来得方便. 而且以 P∨Q表示P→Q帮助我 们理解“如果P 则Q”的逻辑含义.问题是这种表示也有缺点,丢失了P,Q间的因果关系. “p→q≡¬p∨q” 可以翻译为 “p→q等价于当且仅当p不成立或者q成立”。这意味着,当p不成立时,无论q是否成立,它都是正确的。然而,当p成立时,只有当q成立时才是正确的。2.如将P→Q视为正定理, 那么 Q → P 就是相应的逆否定理, 它们必然同时为真, 同 时为假, 所以是等值的.4.对3合式公式取否定词 -原创 2024-10-07 15:54:35 · 621 阅读 · 0 评论