CEVAP:

• Geçerli bir tümdengelimsel çıkarım bilgi-arttıran bir çıkarım değildir. Başka bir deyişle, sonucunun ifade ettiği bilgi zaten öncüllerinde bulunur.
• Öncülleri doğru ise, sonucu zorunlu olarak doğrudur.
• Öncüllerini değiştirmeden yeni bir öncül eklediğimizde çıkarımın geçerliliği değişmez. (Monotonik-olma özelliği)
• Tümdengelimsel geçerlilik dereceli değildir; tümdengelimsel çıkarım ya tamamen geçerlidir ya da tamamen geçersizdir.