在谓词逻辑中,存在量化是对论域内至少一个成员的性质或关系的论断。在符号逻辑中,存在量词「∃」是用来指示存在量化的符号。 它相对于声称某些谓词对所有事物都为真的全称量化。 要表达“某些自然数自乘得25”这个命题,一种方式是: 0 × 0 = 25 {\displaystyle 0\times 0=25}...
3 KB (586 words) - 00:18, 24 February 2023
在谓词逻辑和依赖于它的技术领域中,唯一量化或唯一存在量化,尝试形式化对于“精确”的一个事物,或对于精确的特定类型的一个事物为真的某个事物的概念。唯一量化的一般化是计数量化(英语:Counting quantification)。 例如: 恰有一个自然数 x 使得 x - 2 = 4。 符号化写为: ∃...
2 KB (355 words) - 11:40, 3 May 2020
量化詞對調(Quantifier shift)是一種形式謬誤,係指不當將「對於所有的」與「存在」量化詞對調位置的謬誤。這樣的錯誤往往不明顯,尤其在自然語言中。 量化詞對調謬誤的形式如下: ∀ x ∃ y R x y ⊢ ∃ y ∀ x R x y {\displaystyle \forall x\exists...
1 KB (187 words) - 19:14, 11 February 2022
在谓词逻辑中,全称命题是对论域内所有成员的性质或关系的论断结果的陈述。在符号逻辑中,全称量词∀是用来指示全称量化的符号。 与它相对的,表示至少一个事物为真的量词为存在量词。 要表达“2乘以所有自然数都等于该自然数和自己相加的和”,一种方式的是: 2 × 0 = 0 + 0 {\displaystyle...
6 KB (1,145 words) - 08:18, 21 June 2024
量化是从旧公式产生新公式的公式构造子(constructor)。语言的语义指定了如何把这个构造子解释为一个有效性的广度。量化是变量约束操作的实例。 在谓词逻辑的两类基本量化是全称量化和存在量化。这些概念被更详细的叙述于在单独文章中;下面我们讨论适用于二者的特征。其他种类的量化包括唯一量化。...
16 KB (2,781 words) - 00:18, 24 February 2023
对精确,被测的信号必然会被测量噪声污染。 量化误差是指在量化过程引起的误差,表现为量化结果和被量化模拟量之间存在差值。这种差值在输出端体现为引入了量化噪声。 模-数转换器,数-模转换器 量化误差, 量化噪声 离散信号,数字信号 抖动 信息论 率失真 矢量量化 Robert M. Gray and David...
10 KB (1,859 words) - 22:25, 25 December 2022
存在概括(英语:Existential generalization,简称EG)是谓词逻辑有效推理规则之一。该规则允许论者从一项具体陈述演绎至一项量化概括论述,或存在量化。一阶逻辑中,作为存在量词的规则常用于正式证明。 例:一只叫罗孚的狗喜欢摇尾巴,所以有些东西喜欢摇尾巴。 用费奇符号可记为: Q (...
2 KB (214 words) - 23:11, 8 October 2021
存在。同一个对象的多个实例用线连起来,这个线叫做"同一线"。这里没有文字变量或量词。连接两个或多个谓词的同一线共享一个公共变量。beta图可以被当作采用可隐含量化的变量。对象的深度是它包含的切的数目。如果一个变量的"最浅"的实例有偶数(奇数)深度,这个变量被默认的存在(全称)量化...
6 KB (954 words) - 22:44, 5 September 2021
量化基金是指使用量化投资管理而非人类判断的投资基金。 基于基金经理做出投资决策的方式,投资过程可以被划分为「質化」或「量化」。如果整個決策過程是由人為判断(或直觉),這個過程将被稱为「質化」;而当決策纯粹基于電腦數學模型完成时,该过程才能被稱为「量化」。 量化投资过程,从本质上讲,可分为三个关键部分。...
2 KB (260 words) - 01:52, 30 November 2023
存在性謬誤(existential fallacy)是不當假定推理中的类有成員存在(即非空)造成的推理錯誤。 存在性謬誤可歸類於形式謬誤,或歸類於不當預設的非形式謬誤。 像例如討論人死後會因其生前的的善行或惡行而上天堂、下地獄、轉生到好人家、壞人家或甚至轉生為動物,或者認為死後會到泰山與祖先團聚或...
6 KB (738 words) - 13:34, 15 March 2024
向量量化(英語:Vector quantization)是一個在訊號處理中的一個量化(离散化)方法。其為藉由樣本向量(prototype vector)的訓練來估算密度機率函數,並藉由此密度函數推估最有效的量化方案。此技術原用於資料壓縮,透過分割大數量的資料點(函數),讓每個小群集都有相同的資料點...
8 KB (1,586 words) - 02:06, 3 March 2024
Leblanc、M. Dunn 和 N. Belnap 所拥戴。它也叫做(量词的)代换释义或代换量化。 Beth 的一个定理声称,在模型中一个域内所有成员除了那些被指派给常量的都可以被折消,假定了全称量词(存在量词)可以被读做公式的合取(析取),其中常量替代在量词作用域内的变量的想法。比如,∀xPx 可以读做...
3 KB (496 words) - 10:39, 11 February 2019
成立。注意正集合論是以上這一系列集合論的總體,而不僅是「一個」集合理論。 正集合論(positive set theory) 正公式(positive formula) 即滿足以下條件的最小的公式類:包含 atomic membership 和 equality formulas,且對取并、取交、存在量化及全稱量化都封閉...
697 bytes (90 words) - 22:19, 15 March 2013
e 字,大写字母的字形为倒转的 E 字。 这个字母为以下字母的其中之一: 泛尼日利亚字母 非洲字母 非洲参考字母 另外在扩展拉丁字母中,有一个 Ə ə 字母,小写的形状与此字母相似,也是倒转的 e 字,大写字母亦为倒转的小写 e 。 Ə ə(拉丁字母) Э э(西里尔字母) 存在量化(用∃表示)...
947 bytes (85 words) - 10:19, 28 October 2021
\ldots ,L_{m}} 。这种省略由文字的析取作为一个子句必须使所有变量被全称量化的事实来证实。在子句是有效的或被查实有效性的情况下,这个全称量化也暗含了这个语义。但是,满足性定义假定了自由变量要被存在量化,所以这种量词省略被接受为约定而不是如何处理自由变量的语义的结论。...
2 KB (453 words) - 11:13, 19 November 2021
二階邏輯 (section 存在性片段在有限结构上的能力)
一阶逻辑是命题逻辑的扩展。二阶逻辑接着被高阶逻辑和类型论所扩展。 一阶逻辑和二阶逻辑都使用了论域(有时叫做“域”或“全集”)的想法。论域是可以在其上量化的个体元素的集合。一阶逻辑只包括取值为论域的个体元素的变量和量词。例如在一阶句子∀x(x ≠ x + 1)中变量x被用来表示一个任意的个体。二阶逻辑...
17 KB (2,892 words) - 15:14, 9 October 2022
(x ∗ y) ∗ z给出。 由等式定义的代数结构集合称作簇或等价类。 将研究范围限制在簇,就排除了 量化,包括全称量化( ∀ {\displaystyle \forall } ,等式前除外)和存在量化 ( ∃ {\displaystyle \exists } ) 逻辑与(∧)之外的逻辑运算符 等式以外的关系,特别是形如a...
16 KB (2,267 words) - 05:58, 14 February 2024
高阶逻辑的一个实例是构造演算。 一阶逻辑只量化个体;二阶逻辑也量化集合;三阶逻辑可以量化集合的集合,以此类推。 高阶逻辑是一阶、二阶、三阶……n阶逻辑的结合,也就是说允许对任意嵌套的集合进行量化。 高阶逻辑有两种可能的语义。 在标准语义或完整语义中,对高阶对象的量化包含其中所有可能的对象。例如,对个体集合的量化...
8 KB (1,046 words) - 05:56, 29 December 2023
質性研究,或稱質化研究、定性研究,是一種在社會科學及教育學領域常使用的研究方法,通常是相對量化研究而言。質性研究實際上並不是指單一種方法,而是許多不同研究方法的統稱,由於他們都不屬於量化研究,被歸成同一類探討。其中包含但不限於民族誌研究、論述分析、訪談研究等。質性研究者的目的是更深入瞭解人類行為、及...
3 KB (447 words) - 03:54, 5 July 2024
根據Bowers提出內容分析法的定義,不是針對內心是否客觀而且有系統或量化,而是內容分析的價值,即是傳播內容利用系統客觀和量化方式加以歸類統計,並根據這些類別的數字作敘述性的解釋。 透過量化的技巧和質的分析,以客觀和系統的態度對文件內容進行研究和分析,分析傳播內容中各種語言和特性...
5 KB (728 words) - 08:06, 12 October 2023
拉丁文中叫做"Dictum de omni")是从关于一类个体的每个成员的真理到关于这个类的特定个体的真理的推理。它一般作为全称量词的量化规则给出,但也可以作为一个公理。它是量化理论的基本原理之一。 例子:"所有的狗都是动物。Fido是狗。所以Fido是动物。" 作为一个公理模式: ∀xA →...
2 KB (257 words) - 05:47, 30 September 2020
Ind X = 0. 烏雷松定理指出,若X是正規空間,及有可數基,則 dim X = Ind X = ind X. 這種空間正是可分及可度量化空間。(參見烏雷松度量化定理。) Nöbeling-Pontryagin定理指出有限維數的這種空間,其特徵為同胚於歐幾里得空間中的子空間,子空間用通常的拓撲。M...
4 KB (702 words) - 04:34, 1 June 2024
量化的拓扑空间都是贝尔空间。 (BCT2)每一个局部紧豪斯多夫空间都是贝尔空间。其证明类似于前一个陈述;有限交集性质取得了完备性扮演的角色。 注意从以上任何一个命题都不能推出另一个,因为存在一个不是局部紧的完备度量空间(带有定义如下的度量的无理数),也存在一个不可度量化...
6 KB (1,014 words) - 09:50, 19 March 2024
邏輯符號則會隨著研究領域的不同而有不同的意義。 邏輯常數在每個標準類型的解釋之下,都會給出相同的意義來,因此只有非邏輯符號的意義會改變。邏輯常數包括量化符號∀ 及∃、邏輯聯結詞、括號及其他群組符號,以及(在許多論述中的)等式符號=。 許多常見的解釋對形式語言中的每個句子都有著一個單一的真值,其值不是...
22 KB (3,537 words) - 18:40, 16 July 2021
代數邏輯把邏輯當作特定代數結構構成的模型(解釋、釋義),特別是作為格構成的模型,并因而是序理論的分支。 在代數邏輯中: 變量默許的全稱量化於某個論域之上。這里沒有存在量化變量或開放公式; 項使用基本和定義的運算從變量建造。這里沒有連結詞; 公式用通常方式從項建造,并且如果它們邏輯等價則可以寫成等式。要表達重言式,寫一個公式等于真值真;...
5 KB (747 words) - 15:50, 17 February 2021
度的檢驗表示其兩方面都做得好,所以這個檢驗「很少忽略它正在尋找的目標並且很少將其他東西誤判為目標。」 靈敏度可以作為避免假陰性的量化指標,而特異度可以作為避免假陽性的量化指標。對於任何測試而言,都需要在靈敏度及特異度之間進行取捨。例如機場安檢(英语:Airport...
5 KB (716 words) - 04:02, 23 November 2023
在广义上,测量是指通过恰当的方法(工具和手段),用数据来描述观察到的现象,对事物作出量化描述的过程;亦即,广义上的测量是对非量化的实体进行量化的过程。在引入新的测量方法时,为了对新的测量方法的准确性进行衡量,就必须引入作为「标准答案」的基准测量方法。基准测量方法对样本的测量结果,就是基准真相。...
3 KB (397 words) - 05:56, 12 March 2024
切相关的课题,譬如幅度和重次的关系,量纲,等式,比例,测量,测量单位,数和數系,数的类型和它们的关系。 这样,量是存在于幅度和重次的范围内的一种属性。质量、时间、距离、热和角度都是量化属性的常见例子。连续量的两个幅度,可以互相用一个比例表达,而它是一个实数。...
4 KB (653 words) - 22:24, 25 December 2022
古希腊人是数学的奠基者,古希腊的数学在數學史中占有头等重要的地位。古希腊人提出了公理化体系、形式逻辑,使用逻辑证明、演绎法,强调量化和系统化,使数学成为一门严密的系统的富有逻辑性的学科,开启了后世数学和科学的大门,现在世人所使用的数学和科学方法绝大部分直接来源于古希腊。...
3 KB (506 words) - 15:44, 7 October 2022
時間上或是空間上的冗餘資訊。接著,編碼器並不會直接對殘餘信號進行編碼,而是先將殘餘信號經過變換(通常為離散餘弦變換)然後量化以進一步去除空間上和感知上的冗餘資訊。量化後得到的量化係數會再透過熵編碼,去除統計上的冗餘資訊。 在解碼端,透過類似的相反操作,可以得到重建的視訊資料。...
9 KB (1,023 words) - 08:36, 28 April 2023
量子理論在除對引力原理的解釋外,各方面都非常成功,譬如電磁學可用光子的量化來解釋(量子電動力學),而宇宙其他方面的基本作用力(弱核力和強核力)亦可用量子理論得到完美的描述;人們自然希望量子理論亦能解釋重力,故假想有一種未發现的重力子存在,其性質與光子類似,而最終可發展出量子重力理論。...
4 KB (420 words) - 22:12, 28 February 2023