Bir önermenin doğruluğunun, onu oluşturan bileşenlerin doğruluk değerlerine bağlı olduğu çıkarım türü aşağıdakilerden hangisidir?