TÜMDENGELİM
1. 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.
2. Öncülleri doğru ise, sonucu zorunlu olarak doğrudur.
3. Öncüllerini değiştirmeden yeni bir öncül eklediğimizde çıkarımın geçerliliği değişmez. (Monotonik-olma özelliği)
4. Tümdengelimsel geçerlilik dereceli değildir; tümdengelimsel çıkarım ya tamamen geçerlidir ya da tamamen geçersizdir.

TÜMEVARIM
1. Geçerli bir tümevarımsal çıkarım bilgi-arttıran bir çıkarımdır. Başka bir deyişle, sonucunun ifade ettiği bilgi öncüllerinde bulunan bilginin daha
fazlasını içerir.
2. Geçerli bir tümevarımsal çıkarımın öncülleri doğru olup sonucu yanlış olabilir. Başka bir deyişle, sonucunun doğruluğu öncüllerinin doğruluğundan zorunlu olarak türetilemez.
3. Yeni öncüllerin eklenmesi tümevarımsal çıkarımın geçerliliğini tamamen değiştirebilir. (Monotonik-olmama özelliği)
4. Tümevarımsal çıkarım derecelidir. Başka bir deyişle öncülleri, sonucunu değişik derecelerde destekler. Bazı tümevarımsal çıkarımların öncülleri sonucunu daha fazla desteklerken, diğer bazılarının öncülleri sonucunu daha az destekler. 

Doğru cevap E'dir.