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