形式蕴涵

蕴涵的一种。两个命题形式之间，如果p真q必真，则p对q的关系为形式蕴涵。其着眼点是命题形式，因此不同于实质蕴涵。例如，“某甲得了阑尾炎”与“某甲肚子痛”之间没有形式蕴涵关系，“凡得了阑尾炎的人会肚子痛”与“有得了阑尾炎的人会肚子痛”之间才有形式蕴涵关系（SAP与SIP这两种命题形式的关系）。两个命题p和q之间如果有形式蕴涵关系，那么“如果p，则q”必定是真的。所以，任何一个有意义的而且真的形式蕴涵必然同时是一个有意义的而且真的实质蕴涵，但是任何一个有意义的而且真的实质蕴涵不必同时是一个有意义的而且真的形式蕴涵。形式蕴涵是演绎推理的基础，如果命题形式p与q有形式蕴涵关系，以p为前提而以q为结论的推理必然是正确的。