વિભિન્ન તર્કને ઘણી વખત તર્કના "ટોપ-ડાઉન" સ્વરૂપ તરીકે વર્ણવવામાં આવે છે, જ્યારે પ્રત્યક્ષ પ્રમાણ પર આધારિત તર્કને "નીચે પ્રમાણે" ગણવામાં આવે છે.