什么叫开语句

开语句：语句中含有变量x或y，在没有给定这些变量的值之前，是无法确定语句真假的。

这种含有变量的语句叫做开语句，有的逻辑书也称之为条件命题。

也可以把简单的开语句用逻辑联结词“或”、“且”、“非”连结起来，构成复合的开语句，有的逻辑书也称之为复合条件命题，这里的“或”、“且”、“非”与复合命题中的“或”、“且”、“非”符号和意义相同。