蘊含關係

古典邏輯的質料條件句（→）和邏輯蘊涵（語意後果，⊨）關係非常密切，以致有不少人將條件句和邏輯蘊涵當成同一回事，但兩者其實有很大分別。

在一般的用法下，「蘊含」有「包含」、「蘊藏」的意思：. 海洋蘊含了無數生命。 這篇故事蘊含豐富的哲理。 神韻的舞蹈蘊含力與美。

复合命题"如果p，则q"称为p与q的蕴含式，记作p→q。 ... 其二，在数学中，“如果p,则q“往往表示前件p 为真，q为真的推理关系，但在数理逻辑中，当前件p为假时 ...

2016年12月6日- 文本间的推理关系，又称为文本蕴含关系[1] (TextualEntailment, 下一节将给出详细定义)，作为一种基本的文本间语义联系，广泛存在于自然语言 ...