网站首页  词典首页

请输入您要查询的字词:

 

字词 时态逻辑
类别 中英文字词句释义及详细解析
释义 时态逻辑

自然语言逻辑的分支学科。研究含有时态词的命题及其推理的逻辑。是现代逻辑和自然语言相结合的产物。它研究的主要内容是时态命题的特征、时态命题的类型、时态命题的真值、时态命题间的关系及其推理等。运用时态逻辑,有助于精确刻画自然语言中一些时态语句的语义。如“所有人都曾经是小孩”,可以作两种时态刻画:⑴所有人都曾有一个时候是小孩,记作(x)PA(x);⑵有一个时候,所有人都是小孩,记作p((x)A(x))。作这样处理后,很容易看出⑴是真的、⑵是假的。

随便看

 

文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。

 

Copyright © 2004-2024 Ctoth.com All Rights Reserved
京ICP备2021023879号 更新时间:2025/8/14 23:45:44