当然，属于离散数学。是推理证明的基础。

肯定是啦，好像跟软件设计有关系

逻辑学是研究用于区分正确推理与不正确推理的方法和原理的学问。正确推理的界定有着许多客观标准，而如果不了解这些标准，也就无法运用它们。逻辑学研究的宗旨，就是发现并塑造这些标准，使之能够检验论证，把好的论证与坏的论证区别开来。逻辑学并不关心推理的思想过程，而只关心这种过程的结果，即论证。 　　逻辑学是研究纯粹理念的科学，所谓纯粹理念就是思维的最抽象的要素所形成的理念。（此定义明显晦涩难懂） 　　〔说明〕在这部分初步论逻辑学的概念里，所包含对于逻辑学以及其他概念的规定，也同样适用于哲学上许多基本概念。这些规定都是由于并对于全体有了综观而据以创立出来的。 　　只有思维本身才构成使得理念成为逻辑的理念的普遍规定性或要素。理念并不是形式的思维，而是思维的特有规定和规律自身发展而成的全体，这些规定和规律，乃是思维自身给予的，决不是已经存在于外面的现成的事物。