网站首页  英汉词典

请输入您要查询的英文单词:

 

单词 Down tack
释义

Down tack

英语百科

Tee (symbol)

The tee (), also called down tack (as opposed to the up tack) or verum is a symbol used to represent:

  • The top element in lattice theory.
  • A logical constant denoting a tautology in logic.
  • The top type in type theory.
随便看

 

英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2024 encnc.com All Rights Reserved
更新时间:2025/6/21 5:45:29