分析性蕴涵（analytic implication），文学-语言文字-语义学-分析性，如果在前件p中出现的变量一定在后件q中也出现，那么p分析性蕴涵q。p分析性蕴涵q（p analytically implies q）又写作“p im q”，记作“p→q”。由W.T.帕里提出。诸如“A&B→B&A”“A&-B→-（A→B）”“A &（BC）→（A & B）（A & C）”表示的都是分析性蕴涵。可见，狭义的分析性蕴涵表示的都是逻辑上的永真命题，侧重关注命题的逻辑形式，这种蕴涵关系是由逻辑上的交换律、分配律等来保证的。广义的分析性蕴涵也包括基于组成语句的词语之间的语义关系而形成的蕴涵关系。比如“Alice persuaded Bill to leave.”（爱丽丝劝比尔离开）蕴涵“Bill left”（比尔离开了），两者构成分析性蕴涵关系。跟这形成对比关系的是，“Alice wants Bill to leave”（爱丽丝希望比尔离开）并不蕴涵“Bill left”。分析性蕴涵关系可以通过语义公设来显示的。试比较：①约翰或者是个单身汉，或者不是个单身汉。②如果约翰是个单身汉，则约翰未婚。