逻辑三定律
逻辑学有三大定律: 同一律、矛盾律、排中律。
同一律就是前后提及概念、论题要是同一个，内涵和外延必须保持同一，不是同一个就是不合逻辑的。
- 概念由两个部分组成：内涵和外延，也就是涵义和适用范围。
矛盾律又叫“不矛盾律”，是两个相互否定的思想，不可能都是真的，一定有一个是假的。
排中律就是两个自相矛盾的论断，一定有一个真的，不存在中间状态。
- 排中律的价值是给我们贡献了反证法。反证法就是对于两个互相矛盾的观点一定有一个是对的，只要证明其中一个是错的，那就证明了另一个是对的。
用矛盾律和排中律来定义“否定”，否定就得到了完满的表达。矛盾律保证了最彻底的否定，因为没有任何残余没有被否定，而排中律则最大化了否定的成果，因为所有原命题不包括的情况都被蕴涵。
为什么定义否定，可能是获取否定所付出的能量最低，也比较符合最优化趋势。