逻辑推理包含一定的不可计算性。
复合命题可拆分，但这个过程是降维的，会损失一定的信息，则原子命题是低维的。
若……则……p→q只有在p真q假，这个命题才是假，其体现的思想是绝对的错误在正确的条件下才是错误的。
运算的步骤是有极限的，迭代会带来混沌。
没有连接词是否可看作概率性的运算？
或运算同时为真是量子层次的，这说明原子命题还不够基本。
集合，集合的集合的逻辑运算应不等价。
映射的存在代表逻辑的对应
公式的等价替代后其运算可一定程度变换，使得结果不等价，因为运算符的作用是有极限的。
重言，双重否定仍是自身。我觉得不完全，应该有进步
（2（1错误永远是错误1），（3这句话是真的2），这句话（判断）是错的。3）
喜欢学医路漫漫请大家收藏：(m.23dshu.win),爱上读书网更新速度最快。