形式蘊涵
形

形式蘊涵　　　xíng shì yùn hán

蘊涵的一種。兩個命題形式之間，如果p真q必真，則p對q的關系為形式蘊涵。其著眼點是命題形式，因此不同于實質(zhì)蘊涵。例如，“某甲得了闌尾炎”與“某甲肚子痛”之間沒有形式蘊涵關系，“凡得了闌尾炎的人會肚子痛”與“有得了闌尾炎的人會肚子痛”之間才有形式蘊涵關系（SAP與SIP這兩種命題形式的關系）。兩個命題p和q之間如果有形式蘊涵關系，那么“如果p，則q”必定是真的。所以，任何一個有意義的而且真的形式蘊涵必然同時是一個有意義的而且真的實質(zhì)蘊涵，但是任何一個有意義的而且真的實質(zhì)蘊涵不必同時是一個有意義的而且真的形式蘊涵。形式蘊涵是演繹推理的基礎，如果命題形式p與q有形式蘊涵關系，以p為前提而以q為結論的推理必然是正確的。