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