Çıkarım tipi kavramı, çıkarım şeması kavramı yardımıyla nasıl tanımlanır?
Bir çıkarım tipi aşağıdaki üçlüden oluşur: