Bir argümanda öncüllerin doğru kabul edildiği durumda sonucun zorunlu olarak doğru olduğu çıkarım türü aşağıdakilerden hangisidir?