zhèng míng①用可靠的材料或事实来表明或判定真伪对错等：证明一条定理｜我证明他当时不在场。②可用来证实的材料：事实是最好的证明。③以若干判断为根据，断定另一个判断为真的思维形式。断定一个判断为真，不等于该判断确实为真，也不等于一个判断的真实性确实得到断定。只有正确的证明，才能确实断定一个判断的真实性。一切证明都由论题、论据和论证组成，都通过推理实现，论据相当于推理的前提，论题相当于推理的结......更多

zhǎn/niǎn zhuǎn/zhuàn①翻来覆去，不能安定：辗转不能成寐。也指反覆不定：辗转思维。②迁移不定：辗转他乡｜辗转不可见。也指经过多次转换，不直接：辗转托人才买到了这些药。

dá sī/sāi1.谓思维通达。

luó jí①思维的规律、规则：这个想法似乎不合逻辑。②研究思维规律的科学，即逻辑学。③客观事物的规律：历史的逻辑｜生活的逻辑。④观点，主张。多用于贬义：霸权主义的逻辑。

luó jí fāng fǎ人们在逻辑思维过程中，根据现实材料按逻辑思维的规律、规则形成概念、作出判断和进行推理的方法。包括形式逻辑方法和辩证逻辑方法。形式逻辑方法包括普通(传统)逻辑方法(如综合、抽象、概括、定义、划分等)和现代形式逻辑方法(如形式化方法、公理化方法)。辩证逻辑方法包括归纳与演绎结合、分析与综合结合、逻辑的与历史的结合、抽象上升到具体等方法。

luó jí máo dùn亦称“自相矛盾”。指同一个主体(个人或集体)作出的互相矛盾(不能同真也不能同假)或互相反对(不能同真但可以同假)的判断。如说：“我承认万事万物都有矛盾，但是我认为咱们班上没有矛盾。”逻辑矛盾是一种思想上的矛盾，它不同于辩证法所说的那种思想上的矛盾。其区别在于：(1)前者是思想混乱的表现，而后者则是客观事物的矛盾在思想上的反映。(2)前者是违反思维规则的结果，是不正常的，......更多

fēi lǐ xìng zhǔ yì也称“反理性主义”。一种唯心主义哲学学说。它否定理性思维能力，宣扬意志、直觉和盲目力量。

miàn xiàng duì xiàng de yǔ/yù yán以对象和对象上的操作进行程序设计的语言。现实问题是由一些相互间存在一定联系的事物所组成的，这些事物称为“对象”。进行程序设计时，先分解问题，按人们习惯的思维方式建立模型，模拟客观世界，设计出求解方法的程序。其典型的代表是c^++，smalltalk等语言。