Presupposition一般認為是一個句子的definedness condition. 也就是說，只有滿足了presupposition我們才能去討論這個句子的真假值。比如，“約翰戒菸了”這個句子，要判斷它的真假，首先前提是約翰之前是吸菸的，如果約翰從來都沒吸過煙，那麼這個句子的presupposition就不滿足，換句話說，這個句子 is not defined。 如果presupposition 不滿足，我們就無法去進一步討論這個句子是真是假。在前面的例句中，約翰如果事實上從來沒吸菸的話，我們怎麼進一步去討論約翰是否戒菸這個話題呢？

而entailment是由一個句子的assertion引出的inference，比如“約翰住在巴黎”這個句子，如果約翰住在巴黎的話，我們就能推出“約翰住在法國”。“約翰住在法國”就是“約翰住在巴黎的”一個 entailment