വ്യതിരിക്തമായ ഘടനകൾ വ്യതിരിക്തമായ ഗണിതത്തിന് തുല്യമാണോ
ലോജിക്കൽ ഫോർമുലകൾ, പരിമിതമായ മരങ്ങൾ അല്ലെങ്കിൽ കൂടുതൽ സാധാരണയായി, ഡയറക്റ്റഡ് അസൈക്ലിക് ഗ്രാഫ് സ്ട്രക്ചറുകൾ (ഓരോ അനുമാന ഘട്ടവും ഒന്നോ അതിലധികമോ ആമുഖ ശാഖകൾ സംയോജിപ്പിച്ച് ഒരൊറ്റ നിഗമനത്തിൽ എത്തിച്ചേരുന്നു) രൂപപ്പെടുത്തുന്ന തെളിവുകളെപ്പോലെ, വ്യതിരിക്തമായ ഘടനകളാണ്. ലോജിക്കൽ ഫോർമുലകളുടെ സത്യ മൂല്യങ്ങൾ സാധാരണയായി ഒരു പരിമിതമായ കൂട്ടം രൂപപ്പെടുത്തുന്നു, സാധാരണയായി രണ്ട് മൂല്യങ്ങളിൽ പരിമിതപ്പെടുത്തിയിരിക്കുന്നുഃ ശരി, തെറ്റ്, എന്നാൽ ലോജിക് തുടർച്ചയായി മൂല്യനിർണ്ണയിക്കപ്പെടാം, ഉദാഹരണത്തിന്, ഫസി ലോജിക്. അനന്തമായ പ്രൂഫ് ട്രീകൾ അല്ലെങ്കിൽ അനന്തമായ ഡെറിവേഷൻ ട്രീകൾ പോലുള്ള ആശയങ്ങളും പഠിക്കപ്പെട്ടിട്ടുണ്ട്, ഉദാഹരണത്തിന് അനന്തമായ ലോജിക്.