वेगळ्या रचना वेगळ्या गणिताच्या समान आहेत का?
तार्किक सूत्रे ही स्वतंत्र रचना आहेत, प्रमाणांप्रमाणेच, जी मर्यादित वृक्ष तयार करतात किंवा, अधिक सामान्यतः, निर्देशित चक्रीय आलेख संरचना (प्रत्येक निष्कर्ष टप्प्यासह एकच निष्कर्ष देण्यासाठी एक किंवा अधिक आधार शाखा एकत्र करतात). तार्किक सूत्रांची सत्य मूल्ये सहसा एक मर्यादित संच तयार करतात, जी सामान्यतः दोन मूल्यांपर्यंत मर्यादित असतेः खरे आणि खोटे, परंतु तर्कशास्त्र सतत-मूल्यांचे देखील असू शकते, उदाहरणार्थ, अस्पष्ट तर्कशास्त्र. अनंत पुरावा वृक्ष किंवा अनंत व्युत्पत्ती वृक्षांसारख्या संकल्पनांचा देखील अभ्यास केला गेला आहे, उदा. अनंत तर्कशास्त्र.