सवाल: असतत संरचनाएँ असतत गणित के समान हैं

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