第1章命题逻辑 表示命题的小写英文字母或带下标的小写英文字母常称 为命题标识符。如果命题标识符表示一个具体、确定的命题， 称为命题常元。如果命题标识符表示任意一个命题，称为命 题变元。命题变元无确定的真值。 命题是能判断真假的陈述句。而命题变元代表任意的命 题，其真值是不确定的。因而不是命题。 如果一个命题不能再分解成更简单的命题，则称该命题 为原子命题。如果一个命题不是原子命题，称该命题为复合 命题。 如果命题变元表示原子命题时，该命题变元称为原子变 元。 在自然语言中，可以通过“如果…，那么…” ,”不 但…，而且…”这样的连词将简单的陈述句联结成复合语句 同样在命题逻辑当中，也可以通过命题联结词将原子变元联 结起来表示复合命题。第1章 命题逻辑 表示命题的小写英文字母或带下标的小写英文字母常称 为命题标识符。如果命题标识符表示一个具体、确定的命题， 称为命题常元。如果命题标识符表示任意一个命题，称为命 题变元。命题变元无确定的真值。 命题是能判断真假的陈述句。而命题变元代表任意的命 题，其真值是不确定的。因而不是命题。 如果一个命题不能再分解成更简单的命题，则称该命题 为原子命题。如果一个命题不是原子命题，称该命题为复合 命题。 如果命题变元表示原子命题时，该命题变元称为原子变 元。 在自然语言中，可以通过“如果…，那么…” ， “不 但…，而且…”这样的连词将简单的陈述句联结成复合语句， 同样在命题逻辑当中，也可以通过命题联结词将原子变元联 结起来表示复合命题