字词 | 时态逻辑 |
类别 | 中英文字词句释义及详细解析 |
释义 | 时态逻辑 自然语言逻辑的分支学科。研究含有时态词的命题及其推理的逻辑。是现代逻辑和自然语言相结合的产物。它研究的主要内容是时态命题的特征、时态命题的类型、时态命题的真值、时态命题间的关系及其推理等。运用时态逻辑,有助于精确刻画自然语言中一些时态语句的语义。如“所有人都曾经是小孩”,可以作两种时态刻画:⑴所有人都曾有一个时候是小孩,记作( |
随便看 |
|
文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。