Mantık ve argümantasyon temel kavramları test Test 1

"Ali ya doktor ya mühendistir. Ali doktor değildir. O halde Ali mühendistir."
Bu akıl yürütme hangi mantıksal çıkarım kuralına örnektir?

A) Modus Ponens
B) Modus Tollens
C) Ayrık Tasım
D) Zincirleme Tasım