月沙工具箱
现在位置:月沙工具箱 > 学习工具 > 汉英词典

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

英语翻译:

assign a topic; proposition; set a question

相关词条:

1.proposition  2.prop  3.position  4.exponible  5.sentence  6.statement  7.thesis  

例句:

  1. 模态逻辑命题的限制条件,建立在其内容的肯定或否定其可能性,不可能性,偶然性或必然性基础之上
    The classification of propositions on the basis of whether they assert or deny the possibility, impossibility, contingency, or necessity of their content.
  2. 换质法推导一个命题的方法
    Inference of the obverse of a proposition.
  3. 命题通过换位得到的命题
    A proposition obtained by conversion.
  4. 反对命题一种与另一命题相互联系的命题,若后者为正确则前者一定是错误的,但若后者为错误的则前者不一定是正确的
    A proposition related to another in such a way that if the latter is true, the former must be false, but if the latter is false, the former is not necessarily true.

分词翻译:

命的英语翻译:

assign; fate; life; order

题的英语翻译:

inscribe; problem; subject; title; topic

专业解析

在汉英词典中,"命题"对应的英文术语为"proposition",其核心含义包含两个维度:

  1. 逻辑学与数学定义 在形式逻辑体系中,命题指能判断真假的陈述性语句(declarative sentence)。例如"三角形内角和等于180度"这类具有明确真值的数学陈述。该定义源自北京大学哲学系编纂的《逻辑学术语手册》。

  2. 语言学实践应用 在日常语言使用场景中,命题延伸为通过语言符号表达的完整思想单元。英国语言学家Lyons在《语义学导论》中指出,命题作为语义分析的基本单位,必须具备"可验证性"和"信息完整性"特征。

  3. 教育测评领域 在考试情境中,"命题"特指试题编制行为(test item development),该用法被收录于教育部考试中心发布的《教育测量学术语国家标准》。合格的命题需符合"内容效度"和"区分度"双重标准。

  4. 跨学科差异 需注意哲学命题(如笛卡尔的"我思故我在")与数学命题在验证方式上的本质区别:前者依赖逻辑自洽性,后者必须通过形式化证明。这种区分在斯坦福哲学百科的命题词条中有详细论述。

网络扩展解释

“命题”是逻辑学和哲学中的核心概念,指一个可以判断真或假的陈述性语句。以下是详细解释:

一、基本定义

  1. 真值性:命题必须具有明确的真假属性。例如“北京是中国的首都”为真命题,“1+1=3”为假命题。
  2. 陈述性:疑问句(如“今天下雨吗?”)、祈使句(如“关上门”)等无法构成命题。

二、命题类型

  1. 简单命题
    不含逻辑联结词的基本陈述,如“水在0℃结冰”。

  2. 复合命题
    由简单命题通过逻辑联结词(如“且”“或”“如果…那么…”)组合而成:

    • 联言命题:“今天晴天且温度高于30℃”(用∧表示)
    • 选言命题:“明天下雨或刮风”(用∨表示)
    • 假言命题:“若摩擦物体,则生热”(用→表示)

三、命题逻辑符号化

在符号逻辑中常用:

例如命题“如果下雨,则地湿”可符号化为:
$$ p rightarrow q $$
(其中p=“下雨”,q=“地湿”)

四、与相关概念的区别

五、应用领域

  1. 数学证明:定理、公式需以命题形式明确真伪。
  2. 计算机科学:布尔代数和逻辑电路设计的基础。
  3. 哲学思辨:用于构建严密的论证体系。

例如在编程中,条件语句“if (x > 5)”本质上是在检验命题“x的值大于5”的真假。

分类

ABCDEFGHIJKLMNOPQRSTUVWXYZ

别人正在浏览...

报警符部分冷凝器初审法庭大块的钓斗阱定域振荡器动力储存窦周炎法律上无效的负债及净值总额高温热裂解法肱骨髁寒衣喉前庭炎货物运送交易量假设说计算技艺离散卷积漏锅摩托车保险挪用支付款项起停信号颧颌的矢量图双精溜双乳酰胺叹气逃避现金交易偷运者