In predicate logic, generalization (also universal generalization or universal introduction, GEN) is a valid inference rule. It states that if has been derived, then can be derived.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Generalización universal (es)
- 일반화 (논리학) (ko)
- 普遍汎化 (ja)
- Generalização universal (pt)
- Universal generalization (en)
- 普遍化 (zh)
|
| rdfs:comment
| - En lógica de predicados, generalización (también generalización universal o introducción universal, GEN) es una regla de inferencia válida. Ella establece que si se ha derivado , entonces puede derivarse (es)
- In predicate logic, generalization (also universal generalization or universal introduction, GEN) is a valid inference rule. It states that if has been derived, then can be derived. (en)
- 일반화 정리(generalization theorem, 一般化定理)는 수리논리학의 정리로서, 일차 논리학에서 추론규칙 중 하나인 일반화(generalization)가 성립함을 보장해 주는 정리이다. 이 정리는 어떤 논리식들의 집합 G와 논리식 p에 대해 다음과 같이 쓸 수 있다.
* 만약 이고 변수 x가 G의 어느 논리식에서도 자유변수가 아니면, 이다. 이 정리는 추론규칙으로서 자명하게 받아들여지기도 하나, 엄밀하게 말해서는 증명해야 하는 것이다. 증명은 건전성 정리의 경우와 유사하게, 경우를 다음 셋으로 나누어 귀납법에 의하여 하면 된다. 1.
* p가 인 경우. 2.
* p가 G의 원소인 경우. 3.
* 어떤 논리식 q가 존재해서 전건긍정식에 의해 인 경우. (ko)
- 普遍汎化（ふへんはんか、英: Universal generalization, Universal introduction, GEN）は、述語論理において妥当な推論規則のひとつである。これは、もしが導出されていれば、を導出してよい、という意味である。 (ja)
- Na lógica de predicados, generalização (também generalização universal ou introdução universal, GEN) é uma regra de inferência valida. Ela afirma que se foi deduzido, então pode ser deduzido. (pt)
- 普遍化（generalization）是數理邏輯裡一條極為常用的規則，直觀來說，這條規則在滿足一條件下，可以將原合式公式推廣成被全称量化的版本。 (zh)
|
| name
| - Universal generalization (en)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| statement
| - Suppose is true of any arbitrarily selected , then is true of everything. (en)
|
| symbolic statement
| |
| dbp:wikiPageUsesTemplate
| |
| field
| |
| type
| |
| has abstract
| - En lógica de predicados, generalización (también generalización universal o introducción universal, GEN) es una regla de inferencia válida. Ella establece que si se ha derivado , entonces puede derivarse (es)
- In predicate logic, generalization (also universal generalization or universal introduction, GEN) is a valid inference rule. It states that if has been derived, then can be derived. (en)
- 일반화 정리(generalization theorem, 一般化定理)는 수리논리학의 정리로서, 일차 논리학에서 추론규칙 중 하나인 일반화(generalization)가 성립함을 보장해 주는 정리이다. 이 정리는 어떤 논리식들의 집합 G와 논리식 p에 대해 다음과 같이 쓸 수 있다.
* 만약 이고 변수 x가 G의 어느 논리식에서도 자유변수가 아니면, 이다. 이 정리는 추론규칙으로서 자명하게 받아들여지기도 하나, 엄밀하게 말해서는 증명해야 하는 것이다. 증명은 건전성 정리의 경우와 유사하게, 경우를 다음 셋으로 나누어 귀납법에 의하여 하면 된다. 1.
* p가 인 경우. 2.
* p가 G의 원소인 경우. 3.
* 어떤 논리식 q가 존재해서 전건긍정식에 의해 인 경우. (ko)
- 普遍汎化（ふへんはんか、英: Universal generalization, Universal introduction, GEN）は、述語論理において妥当な推論規則のひとつである。これは、もしが導出されていれば、を導出してよい、という意味である。 (ja)
- Na lógica de predicados, generalização (também generalização universal ou introdução universal, GEN) é uma regra de inferência valida. Ela afirma que se foi deduzido, então pode ser deduzido. (pt)
- 普遍化（generalization）是數理邏輯裡一條極為常用的規則，直觀來說，這條規則在滿足一條件下，可以將原合式公式推廣成被全称量化的版本。 (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 Wikipage disambiguates
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)