语句中含有变量x或y，在没有给定这些变量的具体数值之前，是无法确定语句的真假的，这种含有变量的语句叫做开语句，有的逻辑书也称之为条件命题。
也可以把简单的开语句用逻辑联结词“或”、“且”、“非”联结起来，构成复合的开语句，有的逻辑书也称之为复合条件命题，这里的“或”、“且”、“非”与复合命题中的“或”、“且”、“非”符号与意义相同。
热门推荐