disjunction form
英 /dɪsˈdʒʌŋkʃən fɔːm/美 /dɪsˈdʒʌŋkʃən fɔrm/
n. 名词短语
析取形式;逻辑析取表达式;分离形式
词义解析
“disjunction form”本义指逻辑学中由析取连接词(如“或”)连接两个或多个命题所构成的形式,即析取式。其核心是表达选择或并列的可能性,各支命题中至少有一个为真时整个析取式为真。引申到语言学中,指表达选择关系的句法结构或形态,例如“A or B”这样的并列结构。在更广泛的用法中,可指任何表示分离、分裂或脱节的形式或状态,但这一用法较少见,且多出现在特定学科语境中。各义项之间的引申关系从逻辑形式扩展到语言形式,再泛化为一般性的分离形式。
字源分析
“disjunction”源自拉丁语“disiunctio”,由前缀“dis-”(表示分离、分开)和词根“iunct-”(来自“iungere”,意为连接、结合)构成,字面意为“分离连接”。后缀“-ion”构成名词,表示行为或状态。因此“disjunction”本义为分离、析取。加上“form”后,指分离或析取的形式。记忆时可拆解为“dis-”(不)+“junction”(连接)+“form”(形式),即“不连接的形式”,与“conjunction”(合取)相对。
常见语境
该词组主要出现在学术写作中,尤其是逻辑学、计算机科学和语言学文献,用于精确指称析取表达式或结构。在逻辑学教材中常与“conjunction form”对举。在计算机科学中,可能出现在形式语义或程序语言理论中。在语言学中,用于描述选择疑问句或并列结构的句法形式。日常口语和商务邮件中几乎不使用;新闻报道和法律文本中亦罕见,若出现则多涉及专业讨论。文学作品中使用时可能带有隐喻色彩,表示分裂或脱节的形式,但属边缘用法。总体而言,其语域较高,专业性强。
用法须知
“disjunction form”为名词短语,通常作主语、宾语或介词宾语。可数,复数形式为“disjunction forms”。常见句型如“X is a disjunction form”“in disjunction form”。易错点在于与“disjunctive form”混淆,后者更常见于语法描述,但两者在逻辑学中常可互换。使用时需注意语境,避免在非专业场合使用。此外,该短语通常不单独作谓语,需搭配动词。修饰时可加形容词,如“logical disjunction form”。
同义词区别
与“disjunctive form”相近,后者更强调析取的性质,常用于语法学描述选择结构;而“disjunction form”更侧重形式本身。与“disjunction”相比,后者是更常用的术语,指析取关系或析取命题,而“disjunction form”特指其形式表现。与“alternative form”区别在于后者泛指替代形式,不限于逻辑析取。与“separation form”相比,后者强调分离状态,缺乏逻辑含义。在逻辑学中,该词与“conjunction form”(合取形式)相对,选择时需明确所指为析取关系。
易错提醒
该词组属专业术语,语域较高,多见于学术文本。褒贬色彩中性,无感情倾向。常见误用包括:在非专业语境中滥用,导致理解困难;与“disjunctive form”混用而不自知;误写为“disjunction formula”(析取公式),后者含义不同。此外,不宜用于日常交流,以免显得生硬。在翻译时,需根据学科惯例选择“析取形式”或“分离形式”。
高频搭配
- logical disjunction form
- in disjunction form
- disjunction form of a proposition
- convert to disjunction form
- disjunction form analysis
- disjunction form in syntax
用法示例
- In propositional logic, a disjunction form is true if at least one of its disjuncts is true.在命题逻辑中,如果至少一个析取支为真,则析取形式为真。
- The sentence 'You can have tea or coffee' can be analyzed as a disjunction form.句子“你可以喝茶或咖啡”可以分析为析取形式。
- The software checks whether the input matches a disjunction form.该软件检查输入是否匹配析取形式。
- Linguists study how disjunction forms are expressed in different languages.语言学家研究不同语言中析取形式如何表达。
- The article discusses the disjunction form as a marker of social division.这篇文章将分离形式作为社会分裂的标志进行讨论。