蘊涵符號

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

基本介紹

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

相關詞條

熱門詞條

聯絡我們