蕴涵符号是逻辑学符号之一，它表示蕴涵关系的符号。也就是表示“如果……那么……”的符号.最先用符号表示这一意义的是法国数学家热尔岗(Gergonne ; J. - D. )，他用“C"表示“包含于”，其中也部分含有逻辑蕴涵的意思.美国数学家皮尔斯(Peirce ， C. S.)于1867年用“K”表示“包含于”，也有一些“由后件推出前件”的意思.德国数学家施罗德(Schroder，F. W. K. E.)于1873年用“D”表示“包含”，亦有后来的“蕴涵”之意，这一个蕴涵符号在一些系统中一直沿用。