逻辑初等量英文解释翻译、逻辑初等量的近义词、反义词、例句

英语翻译：

【计】 logical primary

logic
【计】 logic
【经】 logic

【计】 primary

在汉英词典视角下，“逻辑初等量”是一个复合术语，需拆解分析其核心概念：

“逻辑” (Logic)
指研究推理形式、思维规律及有效论证的学科。英文对应“logic”，源于希腊语“logos”（理性、言辞）。在形式系统中，逻辑关注命题间的真值关系与推导规则。
“初等” (Elementary)
指基础的、基本的、未进一步分解的层次。英文对应“elementary”，强调构成复杂结构的最简单、初始单元。
“量” (Quantity/Term)
在逻辑语境中，“量”常指代逻辑系统中的基本构成单位或实体，而非狭义的数值概念。英文可译为“term”或“entity”，指代个体、对象或变量。

综合定义：

“逻辑初等量”指在特定逻辑系统（如命题逻辑、一阶谓词逻辑）中，不可再分的基础性逻辑单元或实体。它们是构建更复杂逻辑表达式的最小构件。其具体含义依逻辑系统而定：

在命题逻辑 (Propositional Logic) 中：
初等量即原子命题 (Atomic Proposition)。

代表一个不可分解的基本陈述句，具有确定的真值（真或假），通常用大写字母（如 P, Q, R）表示。例如：“天在下雨”（It is raining）是一个原子命题。
在一阶谓词逻辑 (First-order Predicate Logic) 中：
初等量主要指个体常项 (Individual Constant) 和个体变项 (Individual Variable)。
- 个体常项 (a, b, c...)：指代论域中特定的、唯一的对象（如：a = 北京， b = 长江）。
- 个体变项 (x, y, z...)：指代论域中任意或未指定的对象，需用量词（∀, ∃）约束其范围。

权威参考来源：

关于逻辑基本术语的定义，可参考权威逻辑学教材、百科全书或专业词典，例如：

《逻辑学大辞典》（上海辞书出版社）：提供中文语境下逻辑术语的权威解释。
Stanford Encyclopedia of Philosophy (SEP) - Entry on "Classical Logic"：详细阐述命题逻辑、一阶逻辑的基础概念，包括原子命题、个体常项/变项。
Irving M. Copi 所著 Introduction to Logic：经典逻辑学教材，系统介绍不同逻辑系统中的基本元素。

“逻辑初等量”是数理逻辑中的术语，通常指一阶逻辑（初等逻辑）中的量词，即用于限定命题变量范围的符号，主要分为两类：

若需进一步探讨具体逻辑系统或扩展量词（如唯一存在量词∃!），可补充提问。