这两个是总结出的符号的变化规律和推理规律用于简化推理,这两个都是等值变换.约定不是乱定的,好的约定就是一个定理,在证明约定的合理性后,能简化大量的推理细节,这是一种不同于定理的封装方式. 在了解蕴含定理前需要先理解蕴含连接词.最后用逻辑语言来描述 ε-δ极限,总结一些比较好的符号约定. 蕴含连接词→的真值表为什么这么定义 这里只关注这个普普统统的蕴含连接词,不考虑其他的各种乱七八糟的蕴含,因为它简单,所以它好找规律 蕴含词→ 的真值表是这样的 对于¬,∧,∨,→ →是唯一不符合直觉的一个连结词,