The Foundations :Logic and Proofs

 1.Propositional Logic 命题逻辑

1.0 命题

1.1 Negation 否定词（取反）

特征:

1.2.conjunction 和取词（与）

特征：

1.3.Disjunction 析取词（或）

 特征:

1.3.1 Inclusive or / exclusive or

注:在进制运算中还有一种亦或:同为0不同为1

1.4.Implication 蕴涵词 

后两行强制结果为1,是为了保证严谨性

将两个命题P、Q联结起来, 构成一个新的命 题P→Q, 读作如果P则Q,

注意反过来的only if，和unless后面的取反

1.5.Equivalance(Biconditional) 双条件词

表示“当且仅当”。（等价不是相同）

2.Propositional Equivalences 等价命题

2.1 Identity laws恒等律

2.2 Domination laws 定义律

2.3 Idempotent laws等幂律

2.4 Double negation law 双重否定律

2.5 Commutative，Associative，Distributive laws 

2.6 De morgan's laws 德摩根定律

2.7 Absorption laws 吸收律

2.8 Negation laws 补余律

2.9 Involving Conditional statements

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合式公式取否定词 - 命题联结词取补，命题取反

5. 对1合式公式取否定词 - 命题联结词取补，命题取反

2.10 tautology 重言式 & Logical Equivalance

---

幂等 (idempotence) 的概念-CSDN博客

Introduction to Computer Science (sjtu.edu.cn)

Logical Equivalences - 知乎 (zhihu.com)