derivation rules
قواعد اشتقاق
روشی برای اثبات که در آن نخست فرض میشود گزاره ای که قرار است اثبات شود غلط است و سپس نشان داده میشود این فرض به تناقضی با حقایق پذیرفته شده می انجامد.
برهان خلف
reducto ad absurdum