在命题逻辑中,自然演绎方法提供一种检验所有论证有效性的方法,简单的说就是从前提或假设出发,运用有效推论规则和置换规则,一步一步地推出论证的有效性。命题逻辑自然演绎系统包括十九条推论规则和置换规则,通过这些规则证明论证的有效性,但是如果一个有效论证不能用这些规则证明其有效性,就一定要引入条件证明和间接证明,这是由于十九条规则的不完全性。十九条规则的不完全性,是指有效论证不能仅仅用命题逻辑自然演绎系统中的十九条规则去证明。我们有必要引入一个“相对于推论规则和置换规则是遗传的”特征,分别证明该特征在十九条规则中都是遗传的,再找出一个有效论证,该特征是它的前提但不是它的结论,从而证明十九条规则是不完全的。也正是由于十九条规则是不完全的,所以引入条件证明是必须的。因为间接证明的规则其实是十九条规则加上条件证明推导出来的,所以间接证明不是必要的。通过证明命题逻辑自然演绎系统十九条规则不完全性,我们可以发现了其方法与命题演算公理系统中公理独立性证明方法的相通之处,都引入了相对于推论规则是遗传性的特征,找到一个特征可以使证明独立性的公理不满足而剩余公理满足,然后逐一证明命题演算公理系统中每条公理的独立性。