V2EX entailment

Entailment

释义 Definition

entailment(名词):蕴涵;必然结果;(法律)限定继承/限定继承地产。常见于逻辑与语言学中,指“如果A为真,则B必然为真”的关系;在一般语境中也可指“某事必然带来的后果”。

例句 Examples

If A is true, it leads to the entailment of B.
如果A为真,就会蕴涵B为真。

The policy’s entailment is that small businesses must report their emissions every year, which changes how they plan their budgets.
该政策的必然结果是小企业必须每年申报排放量,这改变了它们制定预算的方式。

发音 Pronunciation (IPA)

/ntelmnt/

词源 Etymology

entailment 来自动词 entail(使必然包含/使成为必然结果;法律上“限定继承”),其词根与古法语、拉丁语中表示“切割、裁剪”的词有关,最初含义与“按特定方式裁定/限定(财产或继承)”相关,后来引申为“在意义或逻辑上必然包含”。

相关词 Related Words

文学与经典出处 Literary Works

  • Principia Mathematica(《数学原理》)在形式逻辑与推演体系中讨论“蕴涵/推出”关系。
  • Meaning and Necessity(Rudolf Carnap,《意义与必然性》)语义学与逻辑关系中涉及 entailment 的讨论。
  • An Introduction to Formal Logic(常见逻辑学教材,如形式逻辑导论类著作)用于讲解“逻辑蕴涵、有效性、推理”。
  • Semantics / Semantics: A Coursebook(语义学经典教材与课程书)在“句子意义关系(entailment, presupposition 等)”章节中高频出现。
关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     2862 人在线   最高记录 6679       Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 6ms UTC 13:21 PVG 21:21 LAX 06:21 JFK 09:21
Do have faith in what you're doing.
ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86