In predicate logic, existential generalization (also known as existential introduction, ∃I) is a valid rule of inference that allows one to move from a specific statement, or one instance, to a quantified generalized statement, or existential proposition. In first-order logic, it is often used as a rule for the existential quantifier in formal proofs. Example: "Rover loves to wag his tail. Therefore, something loves to wag its tail." Example: "Alice made herself a cup of tea. Therefore, Alice made someone a cup of tea." In the Fitch-style calculus:
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Existential generalization (en)
- Generalización existencial (es)
- 存在汎化 (ja)
- Generalização existencial (pt)
- 存在概括 (zh)
|
| rdfs:comment
| - En la lógica de predicados, la generalización existencial (también conocida como introducción existencial, ∃I) es una regla de inferencia válida que permite pasar de una declaración específica, o una instancia, a una declaración generalizada cuantificada o proposición existencial. En lógica de primer orden, se utiliza con frecuencia como una regla para el cuantificador existencial (∃) en pruebas formales. Ejemplo: "A Rover le encanta mover la cola. Por lo tanto, algo ama menear la cola." En ː Donde a reemplaza a todas las instancias libres de x en Q (x). (es)
- 存在汎化（そんざいはんか、英: Existential generalization, existential introduction, ∃I）は特定の言明もしくは1つの事例から、汎化的に量化された言明または存在命題に移行することを可能にする、妥当な推論規則のひとつである。一階述語論理では、形式的証明における存在記号（∃）の規則としてしばしば使用される。 例: 「ローバーは尻尾を振るのが大好きだ。したがって、何かは尻尾を振るのが大好きである。」 フィッチ表記では次のように書く。 ここで、aはQ(x)内のxのすべての束縛されていない事例を置き換える。 (ja)
- Na lógica de predicados, a generalização existencial (∃I, também chamada como introdução existencial) é uma regra de inferência válida que permite passar de uma instância, ou um enunciado especifico, para um enunciado generalizador quantificada, ou . Na lógica de primeira ordem, é frequentemente utilizada a regra para o quantificador existencial (∃) em provas formais. Exemplo: "Rover ama abanar sua cauda. Logo, algo gosta de abanar a cauda." Em : Substituir por 'a', todas as instâncias de x dentro de Q(x). (pt)
- 存在概括(英语:Existential generalization，简称EG)是谓词逻辑有效推理规则之一。该规则允许论者从一项具体陈述演绎至一项量化概括论述，或存在量化。一阶逻辑中，作为存在量词的规则常用于正式证明。 例：一只叫罗孚的狗喜欢摇尾巴，所以有些东西喜欢摇尾巴。 用可记为: 常量小写a在 Q(x)中代替了所有自由变量。a代表一个常量，在这个例子中是狗。Q代表他的属性，在这里是“摇尾巴（的）”。x代表概括后的变量，可以是任何东西，但属于Q，在例子中是摇尾巴的。∃x是一个存在量化，意即“有一些x” 直译该费奇式可得出：“有一个体a，如果对该a来说有Q的属性，则有一些个体x有Q的属性”。 (zh)
- In predicate logic, existential generalization (also known as existential introduction, ∃I) is a valid rule of inference that allows one to move from a specific statement, or one instance, to a quantified generalized statement, or existential proposition. In first-order logic, it is often used as a rule for the existential quantifier in formal proofs. Example: "Rover loves to wag his tail. Therefore, something loves to wag its tail." Example: "Alice made herself a cup of tea. Therefore, Alice made someone a cup of tea." In the Fitch-style calculus: (en)
|
| name
| - Existential generalization (en)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| statement
| - There exists a member in a universal set with a property of (en)
|
| dbp:wikiPageUsesTemplate
| |
| field
| |
| type
| |
| has abstract
| - En la lógica de predicados, la generalización existencial (también conocida como introducción existencial, ∃I) es una regla de inferencia válida que permite pasar de una declaración específica, o una instancia, a una declaración generalizada cuantificada o proposición existencial. En lógica de primer orden, se utiliza con frecuencia como una regla para el cuantificador existencial (∃) en pruebas formales. Ejemplo: "A Rover le encanta mover la cola. Por lo tanto, algo ama menear la cola." En ː Donde a reemplaza a todas las instancias libres de x en Q (x). (es)
- In predicate logic, existential generalization (also known as existential introduction, ∃I) is a valid rule of inference that allows one to move from a specific statement, or one instance, to a quantified generalized statement, or existential proposition. In first-order logic, it is often used as a rule for the existential quantifier in formal proofs. Example: "Rover loves to wag his tail. Therefore, something loves to wag its tail." Example: "Alice made herself a cup of tea. Therefore, Alice made someone a cup of tea." Example: "Alice made herself a cup of tea. Therefore, someone made someone a cup of tea." In the Fitch-style calculus: where is obtained from by replacing all its free occurrences of (or some of them) by . (en)
- 存在汎化（そんざいはんか、英: Existential generalization, existential introduction, ∃I）は特定の言明もしくは1つの事例から、汎化的に量化された言明または存在命題に移行することを可能にする、妥当な推論規則のひとつである。一階述語論理では、形式的証明における存在記号（∃）の規則としてしばしば使用される。 例: 「ローバーは尻尾を振るのが大好きだ。したがって、何かは尻尾を振るのが大好きである。」 フィッチ表記では次のように書く。 ここで、aはQ(x)内のxのすべての束縛されていない事例を置き換える。 (ja)
- Na lógica de predicados, a generalização existencial (∃I, também chamada como introdução existencial) é uma regra de inferência válida que permite passar de uma instância, ou um enunciado especifico, para um enunciado generalizador quantificada, ou . Na lógica de primeira ordem, é frequentemente utilizada a regra para o quantificador existencial (∃) em provas formais. Exemplo: "Rover ama abanar sua cauda. Logo, algo gosta de abanar a cauda." Em : Substituir por 'a', todas as instâncias de x dentro de Q(x). (pt)
- 存在概括(英语:Existential generalization，简称EG)是谓词逻辑有效推理规则之一。该规则允许论者从一项具体陈述演绎至一项量化概括论述，或存在量化。一阶逻辑中，作为存在量词的规则常用于正式证明。 例：一只叫罗孚的狗喜欢摇尾巴，所以有些东西喜欢摇尾巴。 用可记为: 常量小写a在 Q(x)中代替了所有自由变量。a代表一个常量，在这个例子中是狗。Q代表他的属性，在这里是“摇尾巴（的）”。x代表概括后的变量，可以是任何东西，但属于Q，在例子中是摇尾巴的。∃x是一个存在量化，意即“有一些x” 直译该费奇式可得出：“有一个体a，如果对该a来说有Q的属性，则有一些个体x有Q的属性”。 (zh)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is notableIdea
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)