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

 
  • 命题只包含有逻辑常项及具固定真理的陈述
今日热词
目录 附录 查词历史