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

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