← 返回单词列表

fol

noun 编号: F01443

FOL 是“一阶逻辑”的英文缩写，指研究个体、性质及其关系如何用形式语言表达和推理的逻辑系统。

💡 记忆钩子

把 FOL 想成一套给“对象”和它们之间的关系贴标签、再用“所有”或“某个”来组织推理的工具；它由此成为一阶逻辑这门形式化推理系统的简称。

📖 中文释义

noun

core 一阶逻辑（缩写）

📖 一种用形式语言描述对象、对象的性质及对象之间关系，并通过严格规则进行推理的逻辑系统；FOL 是“一阶逻辑”的英文缩写。

💡 常用“在 FOL 中……”或“用 FOL 表达……”来引出理论、公式或推理方法。它是正式的学术和技术缩写，首次出现时常写出“一阶逻辑”并在括号中标明 FOL。不要把 FOL 误解为某个具体公式；具体公式只是用 FOL 写成的表达式。

abbreviation alt-of initialism

The textbook introduces FOL before it discusses model theory.

这本教材先介绍一阶逻辑，之后再讨论模型论。

The researchers used FOL to describe the relationships between the objects.

研究人员使用一阶逻辑来描述这些对象之间的关系。

🌳 词源

由“一阶逻辑”的英文名称各词首字母组成。

🏷 单词标签 & 词根