演绎证成包括演绎规律的证成和演绎系统的证成。演绎规律的证成不应预设演绎规律是有效的。演绎规律属于形式，它不预设演绎规律是有效的。由于一种形式与其内容或质料具有二分关系，所以该形式可以穷尽地涵盖或填入相应类型的任何内容。如果无论一种形式属于何种逻辑，以及该形式被填入任何内容，该形式都是真的，那么该形式就是演绎规律，是有效的，否则就不是演绎规律，是无效的。演绎规律的证成标志着演绎的部分证成。