| dbo: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)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4059 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:field
| |
| dbp:name
|
- Universal generalization (en)
|
| dbp:statement
|
- Suppose is true of any arbitrarily selected , then is true of everything. (en)
|
| dbp:symbolicStatement
| |
| dbp:type
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| 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)
|
| rdfs:label
|
- Generalización universal (es)
- 일반화 (논리학) (ko)
- 普遍汎化 (ja)
- Generalização universal (pt)
- Universal generalization (en)
- 普遍化 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
