命题形式的定义 定义6命题形式是由命题变元和联结词按以下规 则组成的符号串 (1)任何命题变元都是命题形式一此时称为原子 命题形式; (2)如果α是命题形式,则(-)也是命题形式; (3)如果α、β是命题形式,则(αβ)、(x∧β) (a→β)和(α4>β)都是命题形式; (4)只有有限次地应用(1)(3)构成的符号串才是 命题形式命题形式的定义 定义6 命题形式是由命题变元和联结词按以下规 则组成的符号串: (1) 任何命题变元都是命题形式---此时称为原子 命题形式 ; (2) 如果 α是命题形式, 则 (¬ α )也是命题形式 ; (3) 如果 α 、 β是命题形式, 则 (α∨β ) 、 (α∧β ) 、 (α→β ) 和 (α↔β )都是命题形式 ; (4) 只有有限次地应用(1) —(3)构成的符号串才是 命题形式