SORU:
Geçerli bir tümdengelimsel çıkarımın temel özellikleri nelerdir?
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.
