空命题。空命题是没有任何实质性内容或意义的命题，不包含任何真实或假的陈述，在逻辑学中，被视为一种基本类型的命题，真值是恒定的，既永真又矛盾。