蕴涵的一种。设“如果p，则q”的真假完全取决于p和q的真假，则称p对q的关系为实质蕴涵。用p→q或pq表示。实质蕴涵不问p和q有无意义上的联系，当且仅当p真而q假时，“p→q”为假。它仅仅是“如果p，则q”在真值关系上的一种抽象，故亦称“真值蕴涵”。公元前5世纪，古希腊麦加拉的斐洛(Philo o Megara)已初步提出实质蕴涵的看法，数理逻辑产生后，对实质蕴涵的研究和运用有了很大发展。
