论“两独”与“两依”兼评《制约逻辑元思想剖析》一文

真正的充分条件关系刻划清楚后便是制约关系，事实上具有“两个独立性”。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数实质蕴涵事实上具有与“两个独立性”相对立的“两个依赖性”，从而并非真正的充分条件关系的“逻辑抽象”。即使在正统数理逻辑中作为逻辑工具使用的“若，则”乃是事实上具有“两个独立性”的制约，而并非为其所研究的实质蕴涵。希望进行立足原文原意的纯学术讨论。