SORU:
Geçerli bir tümevarımsal çıkarımın temel özellikleri nelerdir?
CEVAP: - 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.
- 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.
- Yeni öncüllerin eklenmesi tümevarımsal çıkarımın geçerliliğini tamamen değiştirebilir. (Monotonik-olmama özelliği)
- 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.