Bir (?)uzbilim kuramına «A değil»in eklenmesiyle oluşan (?) kuramı çelişkili olduğunda, A nın bir sav olduğunu belirten kanıtlanım yöntemi.
Bakınız: dolaylı türetim