શું અલગ રચનાઓ અલગ ગણિત જેવી જ છે?
તાર્કિક સૂત્રો સ્વતંત્ર માળખાઓ છે, જેમ કે પુરાવાઓ છે, જે મર્યાદિત વૃક્ષો બનાવે છે અથવા, વધુ સામાન્ય રીતે, નિર્દેશિત ચક્રીય આલેખ માળખાઓ (દરેક અનુમાન પગલા સાથે એક અથવા વધુ આધાર શાખાઓને એક નિષ્કર્ષ આપવા માટે જોડે છે). તાર્કિક સૂત્રોના સત્ય મૂલ્યો સામાન્ય રીતે એક મર્યાદિત સમૂહ બનાવે છે, જે સામાન્ય રીતે બે મૂલ્યો સુધી મર્યાદિત હોય છેઃ સાચું અને ખોટું, પરંતુ તર્ક પણ સતત-મૂલ્યવાન હોઈ શકે છે, દા. ત., અસ્પષ્ટ તર્ક. અનંત પુરાવા વૃક્ષો અથવા અનંત વ્યુત્પત્તિ વૃક્ષો જેવી વિભાવનાઓનો પણ અભ્યાસ કરવામાં આવ્યો છે, દા. ત. અનંત તર્ક.