檢驗蘊涵

檢驗蘊涵是從理論命題演繹出的可供經驗檢驗的單稱命題。

經驗命題多是單稱命題和全稱命題兩類。單稱命題是涉及特定的對象、事物或事件的命題。單稱命題可以直接與經驗比較，但是，全稱命題無法直接與某個經驗進行比較，但是，我們可以根據一定條件，從這個全稱命題邏輯上必然地推出一個單稱陳述，再直接驗證這個單稱陳述，從而對那個全稱陳述進行檢驗。由於推出的相應單稱命題，是蘊涵在那個全稱命題之中的，所以我們就把這樣的條件和相應的單稱命題叫做檢驗蘊涵。