逻辑 编辑
逻辑又称理则、论理、推理、推论，是有效推论的研究；更广泛地说，逻辑是对论证的分析和评估。
2
相关
分析是将复杂的主题或内容分解成更小的部分以便更好地理解它的过程。 自亚里士多德之前，该技术就已应用于数学和逻辑研究，尽管作为形式概念的分析是一个相对较新的发展。
信仰，是对人事物或概念的信心或信任。 在宗教背景下，或可将信仰定义为“对神祇或宗教教义等的信念”。 与知识相反，对信仰的真理的推定不是基于逻辑和洞察力，而是基于权威的陈述。
在数学、逻辑和计算机科学中，形式语言是用精确的数学或机器可处理的公式定义的语言。
精密科学，或称精确科学，是指有精准量化研究表示或准确预测的科学领域，精密科学也会有测试假说的严谨方法，尤其是利用可重复性的实验，其中有可量化的预测及测量。以此定义来看，物理及化学是精密科学，系统生物学因为大量使用数学的图论、逻辑、统计及常微分方程，也属于精密科学。
表达式此处是数学表达式的简称，在数学领域中是一些符号依据上下文的规则，有限而定义良好的组合。数学符号可用于标定常量、变量、操作、函数、括号、标点符号和分组，帮助确定操作顺序以及有其它考量的逻辑语法。
辩论是指对某个议题或主张，以言语为主要方式，为分辨不同立场之正确或优劣而进行的一种争论方式。辩论需要精湛的口才或强大的逻辑思辩能力，辩论讲求反应。
理智，一种人类的心智能力。它被认为是一种思考、计算、衡量、推理与逻辑的能力，通常被当成形容词来使用。当我们说一个人是理智的，代表他的行为都是经过思考，考虑过对错、前因后果，有道理，合乎逻辑的。具备这样能力的人，我们会说他是理性的。
在传统逻辑中，公理是没有经过证明，但被当作不证自明的一个命题。因此，其真实性被视为是理所当然的，且被当做演绎及推论其他事实的起点。当不断要求证明时，因果关系毕竟不能无限地追溯，而需停止于无需证明的公理。通常公理都很简单，且符合直觉，如“a+b=b+a”。
模组是指由数个基础功能元件组成的特定功能组件，可用来组成具完整功能之系统、装置或程式。模组通常都会具有相同的制程或逻辑，更改其组成元件可调适其功能或用途。