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