Çıkarım tipi ne anlama gelir?
Çıkarım tipi, ilgili bilim insanları topluluğunun belli bir zamanda kabul ettikleri K önermeler kümesini ve bu kümenin öğelerinden oluşan çıkarımları ifade eder.
