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

抽象形式逻辑刚要（第六部分：判断4：等值变换） 抽象形式逻辑 纲要(符号化正式版) 小乡碎石 2012.073.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 PPP （弱等值变换）3.6.11.2.2 PPP （强）3.6.11.2.3 PPP （弱）3.6.11.2.4 PPP （强）式子理由：1）根据判断性质得出2）符合真假值计算，此可完全归纳证明（证明过程略，后同）当成立性大于0且小于1时，除3.6.11.2.2式子基本符合成立性计算以及3.6.11.2.4式子为确定律直接体现外外，其余二式子变换前后成立性计算并不一致。这似乎表明：我们的成立性计算式子的确不够精确。但问题也不那么简单，也许这些变换式子真的还有可能不等值。我们用电子电路元件的类似逻辑“和”组合来比较：假设电子元件电阻的通畅性类似成立性，则二等阻元件串组合后，是否还等于单一电阻？众多实验表明，似乎是递减，近似判断和组合成立性计算结果，即PPP有可能不等值。说其“可能不等值”而不是“不等值”，是因为二等阻元件并不不等于单一元件自身。或组合也一样。二等阻电子元件的排组合，通畅性要大于单一元件。同样无法确定不精确处在哪里的是：二等阻元件不等于单一元件及自身。3.6.11.3 判断“和”组合的对称性变换： P+QQ+P （强）式子理由：1）判断串组合前后交换不影响判断内容的事实；2）变换前后真假值相等，此可完全归纳证明；3）变换前后成立性参考计算相等。为强等值变换。3.6.11.4 判断“选”组合的对称性变换： PQQP （强）式子理由：1）判断选组合对称性事实；2）变换前后真假值相等，此可完全归纳证明；3）变换前后成立性参考计算相等。为强等值变换。3.6.11.5 判断“或”组合的对称性变换： PQQP （强）式子理由：1）判断或组合对称性事实；2）变换前后真假值相等，此可完全归纳证明；3）变换前后成立性参考计算相等。为强等值变换。3.6.11.6 判断“和”“选”组合的分配变换： P+(QR)P+QP+R （强）式子理由：1）分配前后判断实质相同。2）分配前后真假值相等，可完全归纳证明。3）分配先后成立性计算结果相同。为强等值变换。3.6.11.7 判断“和”“或”组合的分配变换： P+(QR)P+QP+R （弱）式子理由：1）分配前后真假值相等，可完全归纳证明。2）成立性大于0小于1时，成立性参考计算不等值。不等值原因可能为参考计算不精确。为弱等值变换。3.6.11.8 判断“选”“或”组合的分配变换： P(QR)PQ PR （弱）式子理由：1）分配前后真假值相等，可完全归纳证明。2）成立性大于0小于1时，成立性参考计算不等值。不等值原因可能为参考计算不精确。为弱等值变换。3.6.11.9 判断“和”组合“反”的“或”变换： P+QPQ （弱）式子理由：1）分配前后真假值相等，可完全归纳证明。2）成立性大于0小于1时，成立性参考计算不等值。不等值原因可能为参考计算不精确。为弱等值变换。 3.6.11.10 判断“或”组合“反”的“和”变换： PQPQ （弱）式子理由：1）分配前后真假值相等，可完全归纳证明3）成立性大于0小于1时，成立性参考计算不等值。不等值原因可能为参考计算不精确。为弱等值变换。3.6.11.11 判断“和”“或”组合“反”的分配变换： P+(QR) = PQR = PQR （弱）式子理由：1）分配前后真假值相等。2）可从前面变换式子推导得出。3）成立性大于0小于1时，成立性参考计算不等值。不等值原因可能为参考计算不精确。为弱等值变换。3.6.11.12 条件组合的传递性变换： PQ 且 QR ; 则PR （强）式子