"Ya Ahmet evdedir ya da iştedir. Ahmet evde değildir. O halde Ahmet iştedir." Bu akıl yürütme mantıkta hangi geçerli çıkarım kuralına örnektir?