bkz. tümdengelim.

İngilizcesi:
deduction