question: is discrete structures the same as discrete math
passage: Logical formulas are discrete structures, as are proofs, which form finite trees or, more generally, directed acyclic graph structures (with each inference step combining one or more premise branches to give a single conclusion). The truth values of logical formulas usually form a finite set, generally restricted to two values: true and false, but logic can also be continuous-valued, e.g., fuzzy logic. Concepts such as infinite proof trees or infinite derivation trees have also been studied, e.g. infinitary logic.
question_kg: Дискреттүү структуралар дискреттүү математика менен бирдейби?
passage_kg: Логикалык формулалар дискреттүү структуралар болуп саналат, ошондой эле далилдер да, алар чектүү бактарды же, жалпылап айтканда, багытталган ациклдүү граф структураларын түзөт (мында ар бир тыянак кадамы бир же андан көп шарт бутактарын бириктирип, бир жыйынтык берет). Логикалык формулалардын чындык маанилери адатта чектүү топту түзөт, жалпысынан эки мааниге чектелген: чын жана жалган, бирок логика үзгүлтүксүз мааниге ээ болушу мүмкүн, мисалы, бүдөмүк логика. Чексиз далил дарактары же чексиз туунду дарактары сыяктуу түшүнүктөр дагы изилденген, мисалы, чексиз логика.