قواعد اشتقاق
preferred label: derivation rules @en
type: Concept
narrower: برهان خلف

برهان خلف
scope note: روشی برای اثبات که در آن نخست فرض میشود گزاره ای که قرار است اثبات شود غلط است و سپس نشان داده میشود این فرض به تناقضی با حقایق پذیرفته شده می انجامد.
broader: قواعد اشتقاق
preferred label: reducto ad absurdum @en
type: Concept