क्या असतत संरचनाएँ असतत गणित के समान हैं
तार्किक सूत्र असतत संरचनाएँ हैं, जैसा कि प्रमाण हैं, जो परिमित वृक्ष बनाते हैं या, अधिक सामान्य रूप से, निर्देशित चक्रीय ग्राफ संरचनाएँ (प्रत्येक अनुमान चरण के साथ एक या अधिक आधार शाखाओं को जोड़कर एक निष्कर्ष देने के लिए)। तार्किक सूत्रों के सत्य मूल्य आमतौर पर एक सीमित समूह बनाते हैं, जो आम तौर पर दो मूल्यों तक सीमित होते हैंः सही और गलत, लेकिन तर्क भी निरंतर-मूल्यवान हो सकता है, जैसे, अस्पष्ट तर्क। अनंत प्रमाण वृक्ष या अनंत व्युत्पत्ति वृक्ष जैसी अवधारणाओं का भी अध्ययन किया गया है, जैसे अनंत तर्क।