博文
看一下正负逻辑是如何压缩来的
|||
在实数轴上去除原点0，于是，得到所有正实数和负实数的集合。
于是，对于该集合中的任意实数x
我们可以定义映射
x->1 ( x>0 )
x->0 ( x<0 )
于是，我们得到压缩的正负逻辑“正为真，负为假”。显然，正负逻辑也是二分逻辑，应与真假逻辑等价。
在该去掉原点的数轴上任取两点x1,x2,(x1,x2≠0)按实数的加法和乘法规则有：
加法： x = x1 + x2
乘法：x = x1 * x2
对加法应用压缩原理：
1+1=1（x1,x2>0）
1+0=1 (x1>-x2>0)
1+0=0 (x2<-x1<0)， 不满足或运算规则 1 + 0 = 1
0+0=0 (x1,x2<0)
发现一类不满足真假逻辑或运算规则的情况；
对乘法应用压缩原理：
1*1=1（x1,x2>0）
1*0=0 (x1>0,x2<0
0*0=1 (x1,x2,<0) 不满足与运算规则0*0=0
也发现1类不满足真假逻辑与运算规则的情况。
可见：正负逻辑的压缩加和乘运算和真假逻辑的或和与运算并不等价。
如果正负逻辑和真假逻辑是等价的，应该能找到正负逻辑和真假逻辑等价语义的与或运算；
能找到正负逻辑与真假逻辑等价的与或运算的语义吗？找个什么实例呢？
似乎之前验证“多少逻辑”时讲到的“木桶理论”就是正负逻辑满足真假逻辑的实例：
木板高于标准水位为正，低于标准水位为负；
1.用所有木板围桶装水高于标准水位，就是正负的与运算，只要有一块木板为负，水桶就为负；
2.用所有木板探标准水位的底看能否探到，就是正负的或运算，只要一块木板为正，探底就为正；
可以分析一下这个实例中的与或运算和加乘运算有什么差异。
正负逻辑是通过数值的状态来标识逻辑状态的。对正负逻辑状态同时存在2个不同的应用层面。
1是通过数值计算得到正负的属性状态；2是将正负的属性状态当作逻辑状态来应用。
实例中的木板高度和标准高度对比，得到木板高度数值的正负属性的逻辑状态。
木板围桶或木板探底的操作，则纯粹是针对木板逻辑状态的应用操作，此时，已经和木板的高度数量关系无关。
即使是经过数值压缩的数量上的加法和乘法，依然是对数量的属性进行的操作，只是此时的数量属性经过压缩后，变成了一种二分状态的属性了。对数量属性的操作，是空间的操作，不是逻辑操作。
所以，出现正负逻辑的数量加乘和逻辑或与的不一致，是正常的。本来就是不同的操作语义。
现在的问题是：为什么“有无逻辑”的数量状态操作能和逻辑状态操作出现形式的统一，而正负逻辑则不行呢？
因为从数量二分状态属性而言，“有无逻辑”和“正负逻辑”是不等价的，
而在逻辑二分状态属性而言，“有无逻辑”和“正负逻辑”是等价的。
有无逻辑中的“无”，正好是从数量上实现状态选择性的状态。所以在加法和乘法中，“无”的作用正好起到对另一个变量进行数量选择性操作的效果，这正好和真假逻辑中的或运算和与运算的逻辑选择语义一致。
或：是并行择优（真）；与：是串行择劣（假）；
正好用“无”去加，可选出哪怕唯一的“有”来；
而只有用“无”去乘，才掩盖了一切的有，也就是只有用“有”去乘，才能选出那怕唯一的“无”来。
所以，只有“有无逻辑”才能实现在“真假逻辑”和“数量状态逻辑”之间架设桥梁的任务。
如果一定要将正负的数量状态属性纳入真假逻辑中，则必须将“有无逻辑”细分为“正有-无”和“负有-无”，也就是“有多-无”和“有少-无”对称的“有无逻辑”。“无”是数量逻辑二分细化中的公共状态，不能“缺席”。
https://wap.sciencenet.cn/blog-33982-459093.html
上一篇：实平面的逻辑压缩
下一篇：真假逻辑和有无逻辑等价意味着什么
