本文首发自CSDN,另将发表至本人公众号:“JasonRen的小屋”中,欢迎关注
数字逻辑 | 一阶逻辑/命题逻辑 | 集合运算 | |
---|---|---|---|
双重否定律 | |||
等幂律 | |||
/ | / | ||
/ | / | ||
交换律 | |||
/ | / | ||
结合律 | |||
/ | / | ||
分配律 | |||
/ | / | ||
同一律 | |||
/ | / | ||
零律 | |||
/ | / | ||
排中律 | |||
矛盾律 | |||
吸收律 | |||
德摩根律 | |||
/ | / | ||
逻辑相关公式补充
- 量词否定等值式
- 量词辖域收缩与扩张
令为含
的自由出现的公式,B中不含
的自由出现,则有:
- 量词分配等值式
令、
为含
的自由出现,则有:
令为含
的自由出现,则:
本文首发自CSDN,另将发表至本人公众号:“JasonRen的小屋”中,欢迎关注
数字逻辑 | 一阶逻辑/命题逻辑 | 集合运算 | |
---|---|---|---|
双重否定律 | |||
等幂律 | |||
/ | / | ||
/ | / | ||
交换律 | |||
/ | / | ||
结合律 | |||
/ | / | ||
分配律 | |||
/ | / | ||
同一律 | |||
/ | / | ||
零律 | |||
/ | / | ||
排中律 | |||
矛盾律 | |||
吸收律 | |||
德摩根律 | |||
/ | / | ||
令为含
的自由出现的公式,B中不含
的自由出现,则有:
令、
为含
的自由出现,则有:
令为含
的自由出现,则: