لا توجد تعريفات بديلة
طريقة استدلال منطقي تعمل بطريقة عكسية؛ من الهدف إلى تحديد البيانات أو الإثباتات المؤيِّدة لذلك الهدف.