Çıkarımın sonucunun değilinin hiçbir doğru değeri yoksa, kendisinin bütün değerleri doğru demektir. Bu da çıkarımın geçerli olduğunun göstergesidir. Sonucu değillenmiş bir çıkarımın önermeleri tutarlı ise çıkarımın kendisi geçersiz, sonucu değillenmiş bir çıkarımın önermeleri tutarsız ise çıkarımın kendisi geçerlidir.