實(shí)質(zhì)蘊(yùn)涵
實(shí)

實(shí)質(zhì)蘊(yùn)涵　　　

蘊(yùn)涵的一種。設(shè)“如果p，則q”的真假完全取決于p和q的真假，則稱(chēng)p對(duì)q的關(guān)系為實(shí)質(zhì)蘊(yùn)涵。用p→q或pq表示。實(shí)質(zhì)蘊(yùn)涵不問(wèn)p和q有無(wú)意義上的聯(lián)系，當(dāng)且僅當(dāng)p真而q假時(shí)，“p→q”為假。它僅僅是“如果p，則q”在真值關(guān)系上的一種抽象，故亦稱(chēng)“真值蘊(yùn)涵”。公元前5世紀(jì)，古希臘麥加拉的斐洛(Philo o Megara)已初步提出實(shí)質(zhì)蘊(yùn)涵的看法，數(shù)理邏輯產(chǎn)生后，對(duì)實(shí)質(zhì)蘊(yùn)涵的研究和運(yùn)用有了很大發(fā)展。