Universal generalization (original) (raw)
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
| Property | Value |
|---|---|
| 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 | 939333 (xsd:integer) |
| dbo:wikiPageLength | 4059 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1092222409 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Predicate_logic dbr:Validity_(logic) dbr:Deduction_theorem dbr:Universal_instantiation dbr:First-order_logic dbr:Hasty_generalization dbc:Predicate_logic dbc:Rules_of_inference dbr:Modus_ponens dbr:Rule_of_inference dbr:Turnstile_(symbol) |
| dbp:field | dbr:Predicate_logic |
| dbp:name | Universal generalization (en) |
| dbp:statement | Suppose is true of any arbitrarily selected , then is true of everything. (en) |
| dbp:symbolicStatement | , (en) |
| dbp:type | dbr:Rule_of_inference |
| dbp:wikiPageUsesTemplate | dbt:Infobox_mathematical_statement dbt:Reflist dbt:Transformation_rules |
| dcterms:subject | dbc:Predicate_logic dbc:Rules_of_inference |
| rdf:type | yago:WikicatRulesOfInference yago:Abstraction100002137 yago:Cognition100023271 yago:Concept105835747 yago:Content105809192 yago:Idea105833840 yago:PsychologicalFeature100023100 yago:Rule105846054 |
| 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 | freebase:Universal generalization yago-res:Universal generalization wikidata:Universal generalization dbpedia-es:Universal generalization dbpedia-ja:Universal generalization dbpedia-ko:Universal generalization dbpedia-pt:Universal generalization dbpedia-sr:Universal generalization dbpedia-zh:Universal generalization https://global.dbpedia.org/id/4jq2a |
| prov:wasDerivedFrom | wikipedia-en:Universal_generalization?oldid=1092222409&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Universal_generalization |
| is dbo:wikiPageDisambiguates of | dbr:Generalization_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Generalization_(logic) dbr:Universal_generalisation dbr:Generalisation_(logic) |
| is dbo:wikiPageWikiLink of | dbr:Universal_quantification dbr:Index_of_philosophy_articles_(R–Z) dbr:List_of_rules_of_inference dbr:Envelope_(mathematics) dbr:First-order_logic dbr:Generalization_(disambiguation) dbr:Hilbert_system dbr:Verificationism dbr:Generalization_(logic) dbr:No_true_Scotsman dbr:Subset dbr:Universal_generalisation dbr:Generalisation_(logic) |
| is foaf:primaryTopic of | wikipedia-en:Universal_generalization |