લોજિકલ ચુકાદો એક મોડેલ પ્રત્યક્ષ નિરીક્ષણ આધારે પુરાવા અને પ્રારંભિક તારણો, અને દ્વારા દોરવામાં પર આધારિત છે.