- 全稱 full name
- 量化 quantization
- 全稱量詞 allquantor universal quantifier; general quantifier; universal quantification; universal quantifier in fopc
- 無界全稱量詞 unbounded universal quantifier
- 有界全稱量詞 bounded universal quantifier
- 擬受囿全稱量詞 quasi-limited univerasl quantifier; quasi-limiteduniveraslquantifier
- 全稱量詞化變元 universally quantified riable; universally quantified variable; universallyquantifiedriable
- 全稱量詞 (一階謂詞演算) universal quantifier in fopc
- 全稱 full name◇全稱斷定 universal affirmation; 全稱否定 universal negative; 全稱換位 universal conversion; 全稱命題 the universal; 全稱三段論 universal syllogism
- 稱量 metage; weighing; weigh◇稱量車 track scale; larry; 稱量滴定管 weight buret(te); 稱量房 weighing house; 稱量給料器 weigh-feeder; weigher feeder; 稱量計 weightometer; weigh hooper; 稱量皮帶 weigh belt; weighing belt; 稱量器 weighter; 稱量臺 weight-scale table; 稱量體重 [體育] weighing-in; 稱量員 weighter; 稱量裝置 measuring apparatus
- 量化 quantization◇量化器 quantizer; digitizer; 量化失真 quantizing distortion; 量化條件 quantum condition; 量化誤差 quantization error; 量化信號 quantized signal
- 全稱是 c.v
- 稱量筒,稱量桶 weighing tank
- 全稱閉包 universal closure
- 全稱陳述 universal statement
- 全稱斷定 universal affirmation
- 全稱范域詞 universal quantifier
- 全稱否定 universal negative
- 全稱換位 universal conversion
- 全稱類名 full qualified class name
- 全稱路徑 full path
- 全稱名題 universal proposition
- 全稱命題 universal proposition; universal statement
- 全稱普遍化 generalization
- 全稱瑞典國 kingdomofthesweden
"查查詞典"手機版
千萬人都在用的超大詞匯詞典翻譯APP
在謂詞邏輯中,全稱量化是嘗試形式化某個事物(邏輯謂詞)對于所有事物或所有有關(guān)的事物都為真的概念。結(jié)果的陳述是全稱量化后的陳述,我們在謂詞上有了全稱量化。在符號邏輯中,全稱量詞(典型的 "?")是用來指示全稱量化的符號。
詳細百科解釋