网站首页 词典首页
表示时态词的符号。基本的时态算子有三个:⑴P,代表过去时算子,读作:情况曾是;⑵T,代表现在时算子,读作:情况现在是;⑶F,代表将来时算子,读作:情况将是。其他一些时态逻辑的时态词可由它们通过恰当的定义给出形式的刻画。如“情况曾经总是”,记为P,可缩写为H,代表过去恒常算子;“情况将来总是”,记为F,可缩写为G,代表将来恒常算子。
文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。