A statement containing only logical constants and having a fixed truth-value.是什么意思_A statement containing only logical constants and having a fixed truth-value.在线翻译_英语_读音_用法_例句