蘊涵符號

蘊涵符號是邏輯學符號之一，它表示蘊涵關係的符號。

也就是表示“如果……那么……”的符號.最先用符號表示這一意義的是法國數學家熱爾崗(Gergonne ; J. - D. )，他用“C"表示“包含於”，其中也部分含有邏輯蘊涵的意思.美國數學家皮爾斯(Peirce , C. S.)於1867年用“K”表示“包含於”，也有一些“由後件推出前件”的意思.德國數學家施洛德(Schroder,F. W. K. E.)於1873年用“D”表示“包含”，亦有後來的“蘊涵”之意，這一個蘊涵符號在一些系統中一直用到現在.施洛德運用“已”表示“包含於”，這一符號和“D”也用於後來的集合論中，意思是集合的包含.