Bir mantık öğrencisi şu akıl yürütmeyi yapıyor: "Tüm A'lar B'dir. X, A'dır. O halde X, B'dir." Bu öğrenci hangi mantık yöntemini kullanmaktadır?