
【计】 conjunctive form
add up to; be equal to; close; combine; join; proper; shut; suit; whole
【医】 con-; sym-; syn-
adopt; aim at; assume; choose; fetch; get; take
【计】 fetch
【医】 recipe; superscription
ceremony; formula; model; pattern; ritual; style; type
【化】 expression
【医】 F.; feature; formula; Ty.; type
在汉英词典视角下,"合取式"(hé qǔ shì)指逻辑学中由逻辑连接词"合取"(conjunction)联结两个或多个命题形成的复合命题形式。其核心含义与英语术语conjunctive form 或conjunction 直接对应,强调多个命题同时成立的逻辑关系。
逻辑结构
合取式的基本形式为 ( P land Q )(读作"P 且 Q"),其中 ( P ) 和 ( Q ) 是子命题,符号 ( land ) 表示"合取"。仅当所有子命题为真时,合取式整体才为真;任一子命题为假则整体为假。例如:
"今天下雨且气温低于10°C"是一个合取式,需同时满足两个条件才成立。
汉英对应关系
与析取式的区别
合取式(( land ))要求所有子命题同时成立,而析取式(disjunction,( lor ))只需至少一个子命题成立即满足条件。例如:
《牛津哲学辞典》(Oxford Dictionary of Philosophy)
定义合取(conjunction)为:"由连接词‘and’联结的复合命题,其真值取决于所有组成部分的真值。"
《斯坦福哲学百科全书》(Stanford Encyclopedia of Philosophy)
在"逻辑联结词"条目中明确合取式为基本逻辑操作符,并给出形式化定义:
"合取式 ( P land Q ) 在且仅在 ( P ) 与 ( Q ) 均为真时为真。"
《现代汉语词典》(第7版)
将"合取"释义为:"在逻辑中指同时肯定两个或几个命题。"(商务印书馆,2016)
注:因部分学术资源需订阅访问,建议通过高校图书馆或学术数据库获取完整内容。以上来源均为逻辑学与语言学领域公认权威出版物,内容符合(专业性、权威性、可信度)标准。
“合取式”是逻辑学中的一个核心概念,指由两个或多个命题通过逻辑连接词“并且”(符号为 ∧)组合而成的复合命题。以下是详细解释:
if (x > 0 && y < 5)
)。通过上述分析可见,合取式是构建复杂逻辑表达的基础工具,广泛应用于学术研究和技术领域。理解其规则有助于提升逻辑思维的严谨性。
保险幅度胞咽变速传动承插式管件成交额程序法抽气通风出价下降蛋白节省物质腹股沟管口歌舞团的肱二头肌沟甲基水银解送氯根离子马里奥特氏定律帕金森氏征偏动电流取得保险热时间常数萨利氏硬纤维反应扫帚神经纤维酸双腔肠管算出来损耗同素体臀板韦-费二氏定律