Substitution (logic)

逻辑（英語：logic）是对逻辑推理的正确性所进行的研究，其涵盖形式逻辑和非形式逻辑两个领域。形式逻辑关注的是演绎推理的有效性以及邏輯真理，其研究的是如何仅通过论证的结构就可以从前提中推导出结论，而且这一过程与具体话题或内容无关。非形式逻辑则与非形式謬誤、批判性思维和论证理论（英语：argumentation

数理逻辑（英語：Mathematical logic）是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。主要的子研究领域有模型论，证明论，集合论和可计算性理论。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号

在数理逻辑中，谓词逻辑（英語：predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑、多类逻辑或无穷逻辑等等。 A. G. Hamilton (1978). Logic for Mathematicians. Cambridge, England: Cambridge University

在数学和其他涉及形式语言的学科中，包括数理逻辑和计算机科学，自由变量是在表达式中用于表示一个位置或一些位置的符号，某些明确的代换（英语：Substitution_(logic)）可以在其中发生，或某些运算（比如总和或量化）可以在其上发生。这个概念有关于占位符（它是以后会被文字串（英语：String

归纳推理 推论 推理方式（維基數據：Q126723190） 蕴涵 逻辑形式（英语：Logical form） 逻辑真理 名称 充分必要条件 悖论 可能世界 前設 假说 机率 理智 推理 指涉 语义学 命题 严格条件 代换（英语：Substitution (logic)） 语法 真理 真值 有效性