形式逻辑：用明确的符号、规则和推理形式来分析论证是否“有效”的逻辑体系，重点关注推理结构而非内容真假。常见内容包括命题逻辑、谓词逻辑、推导规则、证明等。（也可广义指与之相关的逻辑学分支与方法。）
/frml ldk/（美式）
/fml ldk/（英式）
Formal logic helps you test whether an argument is valid.
形式逻辑能帮助你检验一个论证是否有效。
Although the conclusion sounds plausible, formal logic shows the reasoning fails because the premises don’t entail it.
尽管结论听起来很可信，形式逻辑却表明推理失败了，因为前提并不能推出该结论。
formal 来自拉丁语 forma（“形式、形状”），强调“形式上的、结构上的”；logic 来自希腊语 logikē，与 logos（“言语、理性、论证”）相关。合在一起，formal logic 强调以“形式/结构”为核心来研究推理规则与有效性，而不直接依赖具体内容。
Select Language