形式蘊涵

數理邏輯謂詞演算中帶有量調的命題函項之間的一種蘊涵關係，即，若對所有互而言，如果X是P，就稱Px形式蘊涵QX。用公式表示為：VX(PX一>QX）。