暖贴

四种直言命题，规定其词项的周延不周延。
这些规定，是判定三段论有效性的工具。
若没有这些工具，无法判定其有效性。
理由是：
从一阶逻辑看，传统逻辑的直言命题里，量词连词没有完全分开；故有增加了【周延】的工具。故一阶逻辑里，没有【周延】。