抽象形式逻辑纲要(第六部分：判断4：等值变换).docVIP

抽象形式逻辑刚要（第六部分：判断4：等值变换） ??????? 抽象形式逻辑? 纲要??(符号化正式版)??????????? 小乡碎石 2012.07 3.6.11 判断组合的等值变换 将一判断组合进行位置或先后变换后，其成立性不受影响，则可以建立变换公式以简化成立性计算。由于目前无法建立成立性计算模型，所以只能以真假值等值为基础，其变换的真假值等值性可以通过完全归纳等方法证明。当成立性大于0小于1时，这些等值变换并非就不等值，而是我们没找到等值的计算方法。当然，也就没排除：成立性大于0小于1时，这些等值变换有可能不等值。 为反映变换前后成立性等值的可能性，本体系在变换式子后标注“强弱”。 3.6.11.1 反反归原： 反P 的反（或P下两横表示）＝ P （强） 式子理由： 1）不断验证着的事实结论； 2）真假值（即成立性=1或0，后同）相等 为强等值变换。 3.6.11.2 判断与自身的组合合并 在逻辑组合中，判断与自身的组合并不增加判断的任何内容。因此，判断与自身的任意组合仍然等于其自身。即有： 3.6.11.2.1 P＋P＝P （弱等值变换） 3.6.11.2.2 P∣P＝P （强） 3.6.11.2.3 P‖P＝P （弱） 3.6.11.2.4 P→P＝P （强） 式子理由： 1）根据判断性质得出 2）符合真假值计算，此可完全归纳证明（证明过程略，后同） 当成立性大于0且小于1时，除3.6.11.2.2式子基本符合成立性计算以及3.6.11.2.4式子为确定律直接体现外外，其余二式子变换前后成立性计算并不一致。这似乎表明：我们的成立性计算式子的确不够精确。 但问题也不那么简单，也许这些变换式子真的还有可能不等值。我们用电子电路元件的类似逻辑“和”组合来比较：假设电子元件电阻的通畅性类似成立性，则二等阻元件串组合后，是否还等于单一电阻？众多实验表明，似乎是递减，近似判断和组合成立性计算结果，即P＋P＝P有可能不等值。说其“可能不等值”而不是“不等值”，是因为二等阻元件并不不等于单一元件自身。 或组合也一样。二等阻电子元件的排组合，通畅性要大于单一元件。同样无法确定不精确处在哪里的是：二等阻元件不等于单一元件及自身。 3.6.11.3 判断“和”组合的对称性变换： P+Q＝Q+P （强） 式子理由： 1）判断串组合前后交换不影响判断内容的事实； 2）变换前后真假值相等，此可完全归纳证明； 3）变换前后成立性参考计算相等。 为强等值变换。 3.6.11.4 判断“选”组合的对称性变换： P∣Q＝Q∣P （强） 式子理由： 1）判断选组合对称性事实； 2）变换前后真假值相等，此可完全归纳证明； 3）变换前后成立性参考计算相等。 为强等值变换。 3.6.11.5 判断“或”组合的对称性变换： P‖Q＝Q‖P （强） 式子理由： 1）判断或组合对称性事实； 2）变换前后真假值相等，此可完全归纳证明； 3）变换前后成立性参考计算相等。 为强等值变换。 3.6.11.6 判断“和”“选”组合的分配变换： P+(Q∣R)＝P+Q∣P+R （强） 式子理由： 1）分配前后判断实质相同。 2）分配前后真假值相等，可完全归纳证明。 3）分配先后成立性计算结果相同。 为强等值变换。 3.6.11.7 判断“和”“或”组合的分配变换： P+(Q‖R)＝P+Q‖P+R （弱） 式子理由： 1）分配前后真假值相等，可完全归纳证明。 2）成立性大于0小于1时，成立性参考计算不等值。不等值原因可能为参考计算不精确。 为弱等值变换。 3.6.11.8 判断“选”“或”组合的分配变换： P∣(Q‖R)＝P∣Q ‖ P∣R （弱） 式子理由： 1）分配前后真假值相等，可完全归纳证明。 2）成立性大于0小于1时，成立性参考计算不等值。不等值原因可能为参考计算不精确。 为弱等值变换。 3.6.11.9 判断“和”组合“反”的“或”变换： P+Q＝P‖Q （弱） 式子理由： 1）分配前后真假值相等，可完全归纳证明。 2）成立性大于0小于1时，成立性参考计算不等值。不等值原因可能为参考计算不精确。 为弱等值变换。 ??? 3.6.11.10 判断“或”组合“反”的“和”变换： P‖Q＝P＋Q （弱） 式子理由： 1）分配前后真假值相等，可完全归纳证明 3）成立性大于0小于1时，成立性参考计算不等值。不等值原因可能为参考计算不精确。 为弱等值变换。 3.6.11.11 判断“和”“或”组合“反”的分配变换： P+(Q‖R) = P‖Q‖R = P‖Q＋R （弱） 式子理由： 1）分配前后真假值相等。 2）可从前面变换式子推导得出。 3）成立性大于0小于1时，成立性参考计算不等值。不等值原因可能为参考计算不精确