dedüksiyon

bkz. tümdengelim.