A statement containing only logical constants and having a fixed truth-value.

• 命题只包含有逻辑常项及具固定真理的陈述