预设的定义

同一律是预设定义之母。抽象预设定义和具体预设定义都是来自同一律。抽象预设定义适用于解释任意一个命题与其任意一个预设之间的关系,具体预设定义适用于解释任意一个命题与其具体预设之间的关系。从抽象预设定义可以引出抽象预设使用规则,从具体预设定义可以引出具体预设使用规则。