implication蘊(yùn)涵將兩個(gè)簡(jiǎn)單命題聯(lián)系起來(lái)，即若P則Q的邏輯命題，P為前題，Q為結(jié)果。在數(shù)理邏輯中，兩個(gè)命題不需要相互關(guān)聯(lián)，這稱作實(shí)質(zhì)蘊(yùn)涵，例如“如果地球是平的，金子則是金屬”。只有在前提為真結(jié)果為假的情況下，實(shí)質(zhì)蘊(yùn)涵才為假，否則相反（所舉例子就是真蘊(yùn)涵）。人們一般討論的是形式蘊(yùn)涵。在形式蘊(yùn)涵中，兩個(gè)命題在意義上相互關(guān)聯(lián)，例如“如果不給我加薪，我就辭職”。蘊(yùn)涵寫(xiě)作P'UQ，讀作“P蘊(yùn)涵O”。 |