英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

quantifier    
n. 数量词,量记号

数量词,量记号

quantifier
量词

quantifier
量词

quantifier
n 1: (logic) a word (such as `some' or `all' or `no') that binds
the variables in a logical proposition [synonym: {quantifier},
{logical quantifier}]
2: (grammar) a word that expresses a quantity (as `fifteen' or
`many')

An operator in {predicate logic} specifying for which
values of a variable a formula is true. Universally
quantified means "for all values" (written with an inverted A,
{LaTeX} \forall) and existentially quantified means "there
exists some value" (written with a reversed E, {LaTeX}
\exists). To be unambiguous, the set to which the values of
the variable belong should be specified, though this is often
omitted when it is clear from the context (the "universe of
discourse"). E.g.

Forall x . P(x) <=> not (Exists x . not P(x))

meaning that any x (in some unspecified set) has property P
which is equivalent to saying that there does not exist any x
which does not have the property.

If a variable is not quantified then it is a {free variable}.
In {logic programming} this usually means that it is actually
universally quantified.

See also {first order logic}.

(2002-05-21)


请选择你想看的字典辞典：
单词字典翻译
quantifier查看　quantifier　在百度字典中的解释百度英翻中〔查看〕
quantifier查看　quantifier　在Google字典中的解释Google英翻中〔查看〕
quantifier查看　quantifier　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Online Timer - timeanddate. com
    Timer online with alarm Create one or multiple timers and start them in any order Set a silent timer clock or choose a sound
  • Online Stopwatch - easy to use - timeanddate. com
    Online Stopwatch, with start alerts, lap times and sounds Save details of your timings in a text file
  • Countdown Timer to Any Date
    Create a Countdown Timer that counts down in seconds, minutes, hours and days to any date, with time zone support It also counts up from a past date
  • timeanddate. com
    Online Timer with Alarm Create one or multiple timers and start them in any order
  • Online Stopwatch - How to Use it - Support - timeanddate. com
    To stop and reset the timer, click on the Reset button How Do I Use Start Alerts and Sounds? Start alerts and sounds notify you that the Stopwatch is about to begin recording your time To set the alert, just click on the Set start alert and sounds link In the menu that appears, you can choose to set the start alert time to 3, 5 or 10 seconds
  • Customize and personalize timeanddate. com
    Stopwatch Timer Countdown to Any Date Easter Countdown Summer Countdown New Year Countdown Countdown for Your Site Calculators Date to Date Calculator (duration) Business Date to Date (exclude holidays) Date Calculator (add subtract) Business Date (exclude holidays) Weekday Calculator Week Number Calculator Roman Numeral Converter Alternative
  • Sunrise and Sunset Calculator
    Calculate local times for sunrises, sunsets, meridian passing, Sun distance, altitude and twilight, dusk and dawn times
  • Halloween Countdown – Countdown to Oct 31, 2026
    How many days until Halloween 2026? Watch our timer count down to Halloween, showing days, hours, minutes, and seconds ticking down to 0
  • Free Clocks for Your Website - timeanddate. com
    Free Clocks for Your Website The clocks provided on this page can be placed on your website or blog We also have the Countdown Timer available for you to customize for your website or blog
  • The World Clock — Worldwide - timeanddate. com
    World time and date for cities in all time zones International time right now Takes into account all DST clock changes





中文字典-英文字典  2005-2009