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

　

单词 quasi-quote
释义

Definition of quasi-quote in English:

quasi-quote

noun
Logic

  • (In plural) quotation marks used when a term contains both a mention of a symbol from the object language and a use of a symbol from the formal logical metalanguage; usually represented by corners (⌜⌝).

Origin

1930s; earliest use found in Journal of Symbolic Logic.

Definition of quasi-quote in US English:

quasi-quote

noun
Logic

  • (In plural) quotation marks used when a term contains both a mention of a symbol from the object language and a use of a symbol from the formal logical metalanguage; usually represented by corners (⌜⌝).

Origin

1930s; earliest use found in Journal of Symbolic Logic.
随便看

　

英汉双解词典包含464360条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2024/12/27 0:52:46