本原命题英文解释翻译、本原命题的近义词、反义词、例句

英语翻译：

【计】 primary sons

the root of a plant; this
【机】 aetioporphyrin

former; original
【化】 ortho-
【医】 arch-; arche-; ortho-; pro-; prot-; proto-

assign a topic; proposition; set a question

在汉英词典与逻辑哲学交叉领域中，"本原命题"对应的英文术语为"primitive proposition"或"axiomatic proposition"，指在形式系统中最基础、不可再分解的逻辑单位。该概念最早由Bertrand Russell在《数学原理》中系统阐述，其核心特征包含：

现代逻辑学家Quine在《数理逻辑》中强调，本原命题的选取直接影响形式系统的完备性与一致性。在计算机科学领域，这类命题构成自动推理系统的基石，广泛应用于类型论与程序验证。

由于未搜索到与“本原命题”直接相关的资料，以下解释基于逻辑学和哲学领域的通用概念综合推断：

哲学视角
“本原”在哲学中常指事物的根本来源或构成基础（如古希腊哲学中的“水”“火”等元素）。若结合“命题”，可能指构成知识体系根基的基本陈述，例如公理或不可证实的原始命题，作为推导其他命题的起点哲学基础理论。
逻辑学视角
- 原子命题（Atomic Proposition）：指不可再分解为更简单命题的基本陈述，如“今天是晴天”。这类命题是复合命题（如“如果下雨，则地湿”）的构建单元逻辑学导论。
- 原命题（Original Proposition）：在条件命题（如“如果A，则B”）中，原命题指未被修改的初始形式（即“A→B”），与逆命题、否命题等变体相区别数理逻辑教材。
数学中的特殊用法
在群论或数论中，“本原”可能指生成特定结构的元素（如本原根）。但此用法与“命题”结合的情况较为罕见，需更多上下文确认抽象代数参考。

若您遇到该术语的具体语境（如某学科教材或论文），请补充背景信息，以便提供更精准的解释。如果是学术写作中的概念，建议查阅相关领域的权威文献或教材定义。