Genel olarak tümdengelimsel çıkarımların sahip olduğu 'herhangi bir geçerli çıkarımın öncüllerine ne kadar çok sayıda yeni öncüller eklenirse eklensin çıkarımın geçersiz kılınamaması. yani çıkarımın geçerliliğini koruması' özelliğine ne ad verilir?
Şematik-olma
Olasılıklı-olma
Monotonik-olma
Genelleyici-olma
Determinist-olma